Subset Proofs