Mira arranged for me to talk at CMU about BOOMS (I certainly didn't think I'd talk about that there...). Ittai and Mor came also and we went around the city.

That should be good for some Nuprl text...