f(X,f(Y,Z)) = a
f(f(X,Y),Z) = b
