yes, msn did; I hadn't found that yet when I wrote it, because I'd been expecting he'd be publishing in the same journals as, say, your fellow Ithacan Dexter Ko

yes, msn did; I hadn't found that yet when I wrote it, because I'd been expecting he'd be publishing in the same journals as, say, your fellow Ithacan Dexter Kozen. [1] not exactly, but defo in that direction!