Ok, you're joking, but still, are you referring to the 1987 Liskov Substitution Principle? https://en.wikipedia.org/wiki/Liskov_substitution_principle