Comment by green-in-gold

And it's as a result of this that length([a, b)) + length([b, c)) == length([a, c))