Actually we naturally count from 0, because that's the initial value of the counter. It just so happens that this edge case of 0 things doesn't occur when we a

Actually we naturally count from 0, because that's the initial value of the counter. It just so happens that this edge case of 0 things doesn't occur when we actually need to count something. Starting from 1 is kinda like head is a partial function (bad!) in some functional programming languages. Practicality beats purity.