P
Initializing...
Halting reduces to the synchronous game value, given an answer reduction stage · Prove2Me