YES 2 decompositions #0 ----------- 1: W(W(x)) -> W(x) 2: B(I(x)) -> W(x) 3: W(B(x)) -> B(x) #1 ----------- 4: F(H(x),y) -> F(H(x),G(y)) 5: F(x,I(y)) -> F(G(x),I(y)) 6: G(x) -> x @Strongly Commuting --- R 1: W(W(x)) -> W(x) 2: B(I(x)) -> W(x) 3: W(B(x)) -> B(x) --- S 1: W(W(x)) -> W(x) 2: B(I(x)) -> W(x) 3: W(B(x)) -> B(x) @Strongly Commuting --- R 4: F(H(x),y) -> F(H(x),G(y)) 5: F(x,I(y)) -> F(G(x),I(y)) 6: G(x) -> x --- S 4: F(H(x),y) -> F(H(x),G(y)) 5: F(x,I(y)) -> F(G(x),I(y)) 6: G(x) -> x