understanding the monoids