Liskov Substitution

prog:liskov_substitution

Subtypes must be substitutable for their base types.