Monoid ring/Z^2 is XY/Unitary operator/Exercise