Lecture 4 (Topology 2020)