Crazy time trying to get home. Short version: I am in the Fiumicno Hilton in Rome, because the pilot was sick and my flight is delayed 10 hours. But a real hot shower in the hotel room (my host's "shower", dare I call it that, (but in no way do I mean to disparage his hospitality in general!) was a hand-held affair wiith one or two minutes of hot-water dribble) feels soooooo good. So I don't yet know how the fuck I'm getting to pgh, but I'm s'posed to get into Newark 11pmish local time. And: talking about encoding axiomatic geometry into higher order logic in a Scottish accent makes you sexy. Good lord.