E.W.Dijkstra Archive: By way of introduction (EWD 1041) : vi