The end of the school year means a lot of thank yous – to my colleagues in the department as well as to the countless colleagues all over the school who have helped me (and my students!) to get through the year in one piece. Unfortunately, writing cards does not come naturally to me. I usually…