Lecture 12 (Topology 2020)