Lecture - Continuous Mathematics HT23, IX