introduce monoid
\bn is a monoid