Dijkstra's completed, untested