(4) Proof Sets