1xy z-11-x -11-y +1 = 1y z-11-x +1x z-11-y +11-x1-y