add too-good Dijkstra quote