A variable of a supertype cannot reference an object of a subtype
A variable of a supertype can reference an object of a subtype