cryptogram, and monoid