P
Initializing...
Running maximum auxiliary definition · Prove2Me