That is a class invariant here, but it is always possible it will be violated due to bugs.