P
Initializing...
The simulation theorem (round six, `sim`) · Prove2Me