<Dijkstra added.>