In case anyone's interested, the Dijkstra quote is from <a href="https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD316.PDF" rel="nofollow">https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD316.PDF</a>