Dykstra on why numbering should start at zero (EWD831) [PDF]