Проверить, является ли дерево идеально сбалансированным

//Структура
type
  ttree = ^tttree;
  tttree = record
    inf: integer;       //текущее 
    left, right: ttree  //добавочные числа
  end;
 
{Дерево бинарного поиска}
//Задача <Проверить является ли дерево идеально сбалансированным>
 
//Добавление
procedure add(var t: ttree; x: integer);
begin
  if t = nil          //если nil
  then begin
    new(t); //то новый узел
    t^.inf := x;          //который равен x
    t^.left := nil;       //и имеет лево
    t^.right := nil;      //и право.
  end
    //цикл <не пуст>
  else if x < t^.inf         //не (если текущий узел больше min)
    then add(t^.left, x)    //   (то шаг left и в начало шага /\)
    else if x > t^.inf       //   (не  ((если текущий узел меньше max))  
       then add(t^.right, x); //   (    ((то шаг right и в начало шага /\)
end;
 
function spec(t : ttree) : integer;
begin
  if t = nil then result := 0 
  else result := 1 + Max(spec(t^.left), spec(t^.right))
end;
 
function fear(t : ttree) : boolean;
begin
  result := 
    (t = nil) or
    ((abs(spec(t^.left) - spec(t^.right)) <= 1) 
      and fear(t^.left) and fear(t^.right)
    )
end;
 
 
 
var
  t: ttree;
  a, b, c, n, m, i: integer;
  tr: integer;
 
begin
  write('количество ');
  read(n);
  for i := 1 to n do
  begin
    read(m);
    add(t, m);
  end;         //ввели.
              //проверили
              
              
 write(fear(t));
  
  
end.