begin
N1;
<>true;
[]<>true;
[]N1
end