Вот только сегодня объяснял связанные процедуры и виртуальные вызовы.

Параллельно и прикладным образом (показывая конкретный пример), и "технарски" - рисуя, как именно вводится косвенность вызова. (Когда указатели и структура памяти программы уже разобрана - куча, теги типов.., то всё легко).
Т.е. "переменность" вызываемой операции.