Main invariant is now a zero based list index