Runtime selection of a virtual function’s final overrider according to the complete object’s dynamic type.