Digicode interview question

What is the Barbara Liskov substitution principle?