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