8/7/2022 -- Beginners 2B: Double negation, quiz 4, and possibly Lineland.

Students will finish the Intro to Math Logic mini-course and take a quiz. If time permits, they will start a new topic, Lineland.