That's a good start to help developers understand LSP, but Martin's quick description initially reads like a summary of Java's out-of-the-box inheritance and polymorphism mechanisms. We need to dig ...