The guarantee that any message understood by the superclass will also be understood by a subclass. The subclass may respond to additional messages the superclass does not understand, and the subclass may very well do something different in response to the message, but it will understand the message.