I have to head to bed now -- should really have done it a while ago, but there are so many interesting conversations I wanted to chip in on! -- since I have a 9am lecture to give tomorrow morning. My students really are a good bunch; last week they had already started showing up at ten to nine, when I arrived in the lecture theatre, despite the fact that the lectures are meant to start at five past whatever hour they are scheduled at...