[Natsu]

But how do we know the answer you gave us wasn't generated by the sneaky prover? :)

[HanClinto]

At least in the context of this game, we essentially check the answer with a calculator (which the Verifier program doesn't have access to).