The game's proofs