Lecture 9 (Topology 2020)