Lecture - Continuous Mathematics HT23, IV