Mint Sets and Proof Sets