Don Knuth starting his talk, 17:21