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