YES 2 decompositions #0 ----------- 3: c() -> b() #1 ----------- 1: a() -> a() 2: f(h(a(),a())) -> f(b()) @Mutually Orthogonal --- R 3: c() -> b() --- S 3: c() -> b() @Strongly Commuting --- R 1: a() -> a() 2: f(h(a(),a())) -> f(b()) --- S 1: a() -> a() 2: f(h(a(),a())) -> f(b())