YES 1 decompositions #0 ----------- 1: f(f(x)) -> f(g(f(x),f(x))) @Parallel Closedness --- R 1: f(f(x)) -> f(g(f(x),f(x))) --- S 1: f(f(x)) -> f(g(f(x),f(x)))