Set Proofs Discrete Math