clarification on monoid terminology
test for monoids