Proof, and Mint Sets