Post #1968496

@OscarCunningham and here’s the one-relation monoid . I think this is actually the set of positive words in the B3 group https://monoids.net/2,1/123.html