Right now the code guarantees this property, not sure what we gain by dropping that guarantee. One can argue about what this guarantee means of course, and where one is allowed to rely on it. Further discussion seems out of scope of this commit - the commit makes sense given our current implementation, and if we want to change our current implementation, we will need to modify code elsewhere as well.