Lecture 16 (Topology 2020)