At the Computing Laboratory of the University of Kent, Dijkstra lectured on semantics preserving program transformations (cf. EWD776).
Dijkstra complained about the audience's "underdeveloped power of abstraction". For, after having written the first quantifier on the board, he had already sensed puzzlement among the majority of the attendees. [EWD786]