What Proof Sets Are Valuable