See EwDijkstra.