p. A:41 — if the simulator halts, it returns the same answer as $T(M)$ · Prove2Me

P

Initializing...

p. A:41 — if the simulator halts, it returns the same answer as $T(M)$ · Prove2Me