+(x,y) = +(y,x)
+(+(x,y),z) = +(x,+(y,z))
n(+(n(+(x,y)),n(+(x,n(y))))) = x
+(x,y) = imp(n(x),y)
!preorder imp > + > n
n(n(cx)) != cx