Boolean implementations of monoid.