Status: IN
LSP is a prerequisite for DIP and programming-to-interfaces: if subtypes cannot reliably substitute for supertypes, then depending on abstractions becomes unsafe and the entire abstraction-based design strategy collapses.
Substitutability guarantees make abstraction-dependence safe
Depends on (SL): lsp-substitutability-of-subtypes, dip-depend-on-abstractions-not-concretions, program-to-interface-not-implementation