P
Initializing...
Right-translation escape with one element outside the left orbit gives a fixer · Prove2Me