Hi,

I agree that there are more conditions that make it safe. However, my goal was not to capture the essential, most-permitting set. As with any exception, it makes the system more fragile. Later developers might not remember to check the condition again. Whenever it is not clear no id is need of if index suffices, I'd incline to add the id.

About the Condition 4, I'm not sure I follow. Can you please explain it a bit more?

Robin