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