Objects in a program should be replaceable with instances of their subtypes without altering the correctness of that program.
Nov 9, 2022