Программа подсчёта положительных чисел - Turbo Pascal

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

Программа подсчёта положительных чисел. Но выхода из программы не получается. Условие для if = 0 задано и метка m2 задана, а выхода нет. Требуется бесконечный ввод. В чём дело? Вот такая программка:

uses Crt;
LABEL m1, m2;
Var a, c: Integer;
begin
ClrScr;
m1:  ReadLn(a);
        if a > 0 then then c:= c + 1;
        WriteLn(' Кол. полож. чисел: ' , c);
                GoTo m1;
         if a = 0 then GoTo m2;
m2:  WriteLn(' Выход. ');
    ReadLn
end.

И ещё вопрос: возможно ли такую программу сделать с одной меткой?

Решение задачи: «Программа подсчёта положительных чисел»

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

uses Crt;
label m1;
var a, c: Integer;
begin
  ClrScr;
m1:
  ReadLn(a);
  if a > 0 then c := c + 1;
  if a <> 0 then GoTo m1;
  WriteLn(' Кол. полож. чисел: ' , c);
  WriteLn(' Выход. ');
  ReadLn;
end.

Объяснение кода листинга программы

Список действий в коде:

Используется модуль Crt.
Поле вывода (label) называется m1.
Вводимые значения сохраняются в переменных a и c типа Integer.
При запуске программы (или при каждом новом запуске) значение переменной c устанавливается равным 0.
Выводится приглашение для ввода значения переменной a.
Если значение переменной a больше 0, то значение переменной c увеличивается на 1.
Если значение переменной a не равно 0, то происходит возврат к шагу 5.
Выводится сообщение о количестве положительных чисел.
Выводится сообщение о выходе из программы.
Программа ожидает ввода значения (нажатия клавиши) для завершения работы.