How a classic Dijkstra paper saved me from range boundary hell

I don't have a good rationale when deciding if range boundaries should be inclusive or exclusive. This is how Dijkstra's classic EWD831 paper taught me a better way.