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