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