f(f(c(f(y,x)),x),c(f(c(f(y,f(x,z))),x))) = z.