starting with monoids. Ex10.1