This leads us to a very important conclusion. A model, viewed in isolation, can not be meaningfully validated. The validity of a model can only be expressed in terms of its clients. Это ведет нас к очень важному выводу. Модель, которая рассматривается изолированно, не поддается содержательной проверке. Корректность модели может быть выражена только в терминах её клиента.

.= Пусть $f(r)$ -- некоторое свойство, выполняющееся (или утверждение, которое истинно) на объектах $r$ типа $T$. Тогда свойство $f(s)$ должно выполняться на объектах типа $S$, если $S$ является подтипом типа $T$. .= В качестве свойства $f(r)$ используем следующее утверждение: .= Для всех объектов $r$ класса $Rectangle$ выполнение функции $g$ достигает оператора $return$. .= Поскольку в первом, бесконтрактном, варианте классов на объекте $s$ класса $Square$ выполнение функции $g$ не достигало оператор $return$, становится очевидным нарушение принципа подстановки без дополнительных аппеляций автора примера (то есть, Мартина) к изменившемуся поведению функции $g$ и каким- то осмысленным предположениям разработчика этой функции $g$. Разработчик ПО должен выполнять требования спецификации без собственных предположений.