Start switching to a monoid representation