P
Initializing...
The synchronous game value is uncomputable, given an answer reduction stage · Prove2Me