Math 307 FALL 2022, Introduction to Proof, CRN 12516