P
Initializing...
Two oracles: the two game checks and the disagreement of the two J · Prove2Me