The invariant of index < count, of course, only works when using Djikstra's half-open indexing standard, which seems to have a few very vocal detractors.

Fortunately only a few. Djikstra's is obviously the most reasonable system.