Monoids, wordsMonoid simplification