What is substitutability?
Any method of a class-say A can equally well be adjured with any object belonging to any subclasses B of A. This characteristic leads to code reuse, as the messages, methods, and functions do not have to be written again for objects of class B.