PROOF and MINT SETS