MAYBE

Problem:
 f(f(X,Y),Z) -> f(X,f(Y,Z))
 f(X,f(Y,Z)) -> f(Y,Y)

Proof:
 Open