rm monoid comment :-)