Monoid tests