Refactoring Dijkstra