Four Proof Sets