z<-xy
x^2y^2=(xy)^2=xyxy
xy=yx