f(f(x,y),z) = f(f(y,z),x)
f(f(x,x),y) = y
!preorder f
f(f(c1,c2),c3) != f(c1,f(c2,c3))