Feeling considerably less shitty now. Made some progress on the paper proof — made some compromises in the formal development that are probably acceptable. It now features, in a very specific technical sense (so here's a nice Term of Art for you, nightspore) an 'incoherent translation', and yet this is not a fatal flaw. No jokes, please, about it being something very telling about us PL weenies that we tolerate incoherent things :)
Had dinner with subpar, and a post-dinner nacho meal with rjmccall and catlyons. Very nice to see all of them again.