E.W. Dijkstra Archive: Why numbering should start at zero (EWD 831)