P
Initializing...
Crude depth guard, natural-number form · Prove2Me