(10) Proof Sets