|
> From a natural language POV the interpretation may be correct as well, Indeed. So its a "dangling else" problem. >From pragmatism I'd just say if the first precondition must be "the index must be valid", than this paragraph is quite a distorted way to express that precondition.