YES 1 decompositions #0 ----------- 1: f(g(g(x))) -> a() 2: f(g(h(x))) -> b() 3: f(h(g(x))) -> b() 4: f(h(h(x))) -> c() 5: g(x) -> h(x) 6: a() -> b() 7: b() -> c() @Strongly Commuting --- R 1: f(g(g(x))) -> a() 2: f(g(h(x))) -> b() 3: f(h(g(x))) -> b() 4: f(h(h(x))) -> c() 5: g(x) -> h(x) 6: a() -> b() 7: b() -> c() --- S 1: f(g(g(x))) -> a() 2: f(g(h(x))) -> b() 3: f(h(g(x))) -> b() 4: f(h(h(x))) -> c() 5: g(x) -> h(x) 6: a() -> b() 7: b() -> c()