Цикл не прекращает выполняться - PascalABC.NET

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

Здравствуйте , уважаемые члены этого форума! Я только начал изучать паскаль , пишу программу и у меня выходит бесконечный цикл ,как его ограничить ,чтобы после каждого выбора "Net" цикл повторялся , пока не будет ответа "Da" и цикл закончился ...помогите , пожалуйста ^_^

uses
  crt;
 
var
  i, x, y,  s: integer;
  m: integer;
 
const
  N = 5;
 
begin
  write('сыграем в игру ? ');writeln('Выбери вариант' );
  writeln('1.Da'); 
  writeln('2.net');
  
  writeln('Твой выбор?!?!');readln(m);
  case m of 
    1: writeln('Окей , поехали' );
    2:
      begin
        writeln('Нет, плохой ответ! ');readln(s);s := 0;while (s <>2) do writeln('Так и знал , что выберешь 2 ');   
        begin if (s = 1) then writeln('Окей, дальше'); end; { Здесь не получается условие }
      end; end;
  
  randomize;
  y := random(9);
  writeln('');
  i := 1;
  writeln('комп загадал число от 1 до 9 ');
  writeln('напиши свое число');
  readln(x);
  while ((x <> y) and (i <= N)) do
  begin
    if (x > y) then writeln('это число меньше') else writeln(' это число больше'); 
    
    readln(x);
    inc(i);
  end;

  if (i = 6) then writeln('Вы проиграли!') else writeln('Вы выиграли!');
end.

Решение задачи: «Цикл не прекращает выполняться»

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

readln(s);s := 0;while (s <>2) do writeln('Так и знал , что выберешь 2 ');

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

Вводится значение переменной s с помощью функции readln.
Значение переменной s присваивается 0.
Запускается цикл while, который будет выполняться до тех пор, пока значение переменной s не станет равным 2.
Внутри цикла, с помощью функции writeln, выводится сообщение Так и знал , что выберешь 2.
Цикл продолжает выполняться до тех пор, пока условие в скобках не станет ложным.