File:Monoid.4.A.20170802.pdf