Added another Dijkstra quote