Proof Sets & Mint Sets