MAYBE

Problem:
 f(f(x,y,a()),z,w) -> f(z,w,f(y,x,z))

Proof:
 Open