The Liskov Substitution Principle in C++

Validate that derived classes satisfy the contracts defined by their base classes.