Math 211 Discrete Mathematics, Spring 2023