I’ve spent a lot of time talking about an and b, but what happens when you have a, b, and c? Introducing: monoids with three generators and two relations https://monoids.net/3,2