dynamic binding, Derivation with Polymorphism