Transcriber's note: The traditional summation notation used by Dijkstra in EWD 361 is difficult to render in HTML. This transcription employs for summation the general-purpose quantification notation developed by Dijkstra later in his career (see EWD1300, "The notational conventions I adopted, and why").