Superclass objects must be substitutable for their subclass objects.