The Liskov Substitution principle