Liskov Substitution Principle

• if S is a subtype of T, then objects of type T may be replaced with objects of type S
  • which means that every single usage of the parent class should be replaceable with its child class