Dijkstra in Heaven