Spring 2020: Math 301, Introduction to Proofs