Выход из рекурсии - Pascal

Формулировка задачи:

Я не пойму где у меня осуществляется выход из рекурсии (код писал сам), а на каком месте/условии рекурсии заканчивается не пойму (Это код на ханойскую башню)

procedure step(from_s, to_s: integer);
begin
  write(from_s, '->', to_s, '   '); 
end;
 
procedure move(n, from_s, to_s, work_s: integer);
begin
  if n > 0 then 
  begin
    move(n - 1, from_s, work_s, to_s); 
    step(from_s, to_s);
    move(n - 1, work_s, to_s, from_s);
  end;
  if n<0 then
    writeln('Некорректно введенные данные');
end;
 
procedure input(var a:integer;var b:integer;var с:integer);
begin
  write ('Стержень, на котором изначально находятся диски: ');
  readln(a);
  write ('Стержень, на который нужно переместить диски: ');
  readln(b);
  с:=6-(a+b);
  end;
  
var
  a,b,c,n: integer;
begin
  writeln ('Данная программа реализует головломку Ханойская башня,с тремя стержнями ');
  write ('выбирете кол-во дисков: ');
  readln(n);
  input(a,b,c);
  move(n,a,b,c);
  readln; 
end.

Решение задачи: «Выход из рекурсии»

textual
                            Листинг программы 
                        

                            procedure move(n, from_s, to_s, work_s: integer);
begin
  if n > 0 then { будут рекурсивные вызовы move(n-1, ...) }
 { а иначе очередных рекурсивных вызовов move(n-1, ...) не будет }
                        