Lecture 7 (Topology 2020)