Proofs involving sets