Dijkstra final.