Peter Sussman lecture, 3/9/2017