YES 1 decompositions #0 ----------- 1: f(g(h(x))) -> g(f(h(g(x)))) 2: f(x) -> x 3: g(x) -> x 4: h(x) -> x @Simultaneous Critical Pair --- R 1: f(g(h(x))) -> g(f(h(g(x)))) 2: f(x) -> x 3: g(x) -> x 4: h(x) -> x --- S 1: f(g(h(x))) -> g(f(h(g(x)))) 2: f(x) -> x 3: g(x) -> x 4: h(x) -> x