P
Initializing...
No tree-safe word $(0,1,-1)\cdot R\cdot(2)$ with all auxiliaries odd · Prove2Me