Either we should add a comment or enforce the constraint so that if the code is changed in the future and this is not true anymore, it will not break.