Monoid ring/ZW is XY/Unitary operators/Exercise