Proof set