Start on the monoid

Postulate the proofs until enlightenment hits me.