YES 1 decompositions #0 ----------- 1: +(+(x,y),z) -> +(x,+(y,z)) 2: +(x,+(y,z)) -> +(+(x,y),z) 3: +(x,y) -> +(y,x) @Strongly Commuting --- R 1: +(+(x,y),z) -> +(x,+(y,z)) 2: +(x,+(y,z)) -> +(+(x,y),z) 3: +(x,y) -> +(y,x) --- S 1: +(+(x,y),z) -> +(x,+(y,z)) 2: +(x,+(y,z)) -> +(+(x,y),z) 3: +(x,y) -> +(y,x)