Title: A Game of Proof