Dijkstra working, Spec was wrong