beginning monoids