Derived classes must be substitutable for their base classes.
The funny thing about this principle is that it has the name of a person in it: Liskov. This is because the principle was first stated (using different wording) by Barbara Liskov. But otherwise, there are no surprises here; no big conceptual leaps. It seems only logical that derived classes, or “subclasses” as they are usually called, should be substitutable for their base, or “parent” classes. But of course there’s more to it. This principle is ...