CSE20-Su2-2025-Day-04-Intro-to-Proofs-ANNOTATED.pdf