P
Initializing...
Conjugating t by s is symmetric · Prove2Me