What Are Proof Sets