Правильно ли говорить, что при подтипировании интерфейс супертипа сохраняется, в то время как наблюдаемое поведение может изменяться, тогда как при создании подклассов должны поддерживаться как интерфейс, так и наблюдаемое поведение суперкласса?