ООП, Полиморфизм Опции

[Client]

Всем привет!
Начал изучать ООП и появились вопросы. Вроде с наследованием и инкапсуляцией понятно, а вот с полиморфизмом не понятно. Можете объяснить для чего он нужен и что такое виртуальные методы?

[Client]

uses crt;
type
  ta = object
    constructor init;
    procedure print; virtual;
  end;

constructor ta.init;
begin end;
procedure ta.print;
begin writeln('TA object') end;

procedure proc(var obj: ta);
begin
  obj.print;
end;

type
  ta2 = object(ta)
    constructor init;
    procedure print; virtual;
  end;

constructor ta2.init;
begin end;
procedure ta2.print;
begin writeln('TA2 object') end;


type
  tb = object(ta2)
    constructor init;
    procedure print; virtual;
  end;

constructor tb.init;
begin {inherited init;} end;
procedure tb.print;
begin writeln('TB object') end;

var
  A: ta;
  B: tb;
  c:ta2;
begin
  clrscr;
  a.init; proc(a);
  b.init; proc(b);
  c.init; proc©;
  readkey
end.

но подумай, что получится, если между TA и TB будет внесен еще один наследник

Добавил наследника, закоментировал

inherited init;

все равно работает О_о
если я правильно понял про наследника


Добавлено через 4 мин.
Упс... Там же по идеи должны присваиваться какие-то значения полям, но их нету. Если были бы, то не прокатило, да?