Lecture 23 (Topology 2020)