Work on algebraic structures (monoids!)