Обоснование того, чтобы сделать метод окончательным

Извините, быстрый вопрос здесь, только что нашел в своих заметках что-то, чего я не понимаю в отношении того, как сделать метод окончательным. В моих заметках утверждается, что вы должны сделать метод final по этой причине:

Делает невозможным принудительное применение инвариантов.

Строка должна вести себя как Строка.

Я действительно не понимаю, что под этим подразумевается. Может кто-нибудь сломать это для меня? Большое спасибо.