Lecture 25 (Topology 2020)