Serre-after-lecture