Hurrah. The week of floods and thunderstorms has passed to reveal unblemished skies and endless happy sun. Ideally, this would mean beach-time.

Alas, it is end-of-PhD-time, which means I can but watch scores of joyful people scuttle under my office window, nattering about ice-creams and sun-tan lotion.

Bah, humbug. I hope the crabs nip their ankles. Meanwhile, I shall put to good use my new found stress-buster…