Lecture 18 (Topology 2020)