"Polymorphism" fully verified