P
Initializing...
pp. A:41–A:42 — the simulator halts on every instance of the promise · Prove2Me