P
Initializing...
Finite-horizon survival yields an infinite winning strategy · Prove2Me