Lecture by Lewis Lanier, recorded for my own revision