comments in Dijkstra's