Added Dijkstra quote mentioned in the first session