E. W. Dijkstra Archive: A parable. (EWD 594) https://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD594.html