PROOF SET