²See Dijkstra on Wikipedia.