Time for bed for me now; I have another lecture tomorrow morning, but this time at the much more civilised hour of 11am. There are plenty of other things I need to do at work this week, though, so must get some sleep so that I can do them...

Good night all, and thanks for fun discussions! Looking forward to seeing threads collapsing on this fifth page tomorrow!