Dijkstra added.