Höstterminen skulle just denna dag afslutas.