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