The Tired Teacher. PYM 2025, No. 219, 14-16.