https://www.thequotelist.com/edsger-dijkstra-6-quotes/