Polymorphism stands for the idea that a variable can refer to objects of several different types
The static type of a variable is the type of variable, as declared
The dynamic type of a variable is type of object to which the variable refers
Dynamic binding is in effect if the dynamic type of a variable v determines the operation activated by v.op(...)