Liskov Substitution Principle - SOLID

In 1988 Barbara Liskov wrote something that now stands for L in SOLID principles. Let's dive in and learn what is it and how does it relate to TDD . Here is the original formulation: "If for each object o1 of type S ther