Definitions For Proofs HW New Answers.pdf