Lecture 17 (Discrete Math 2020)