Is this assertion redundant because it'll always be true?