He Who Kills Sequents

One slightly odd thing yesterday was walking down the main corridor and thinking "the back of that bloke-in-suit's head looks quite familiar" and it turning out indeed to be The-Destroyer-Of-Sequents. It was good to see him again, of course - he'd just been speaking to the informatics bods who may recruit him, so we spent ten minutes over tea catching up before he chatted to the personnel bods. Best wishes and good luck to him, obviously.