NO 1 decompositions #0 ----------- 1: f(g(x)) -> g(f(f(x))) 2: g(x) -> x unjoinable peak f(_y3) *<- f(g(_y3)) ->* f(f(_y3))