Proof Sets, Mint Sets, And Others