Completed runtime polymorphism