P
Initializing...
Freiman word guards: case extension · Prove2Me