Three Proof Sets