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 width when using the Square class's ...