A practical rephrasing of LSP: subclasses should be subtypes.