Lecture 17 (Topology 2020)