math.LO/math.CT, currently postdoc at Stockholm University. Previously Institute for Advanced Study, Princeton, lately of Dalhousie University, Nova Scotia, and Carnegie Mellon University, Pittsburgh.