почему данный цикл-бесконечный?

procedure  found (var k:integer; s,s1:string; f:boolean);
var i,j:integer;
begin
  f:=false;
  for i:=length(s) downto 1 do
  begin 
    j:=length(s1);
    while (j>=1)or(not f)  do
     if (s[i]=s1[j])then
     begin
       k:=i;
       f:=true;
       j:=j-1;
     end
  end
end;

procedure  found (var k:integer; s,s1:string; var f:boolean);
var i:integer;
begin
  f:=false;
  i:=length(s);
  while(i>=1)and not f do
  if copy(s,i,length(s1))=s1 then f:=true
  else i:=1-1;
end;

s,s1:string;

uses crt;
procedure  found (var k:integer; s,s1:string);
var i,j:integer;
     f:boolean;
begin
k:=0;
i:=length(s);
while(i>=1)and(k=0)do
 begin
  if (s[i]=s1[1])and(length(s)-i+1>=length(s1)) then
     begin
      f:=true;
      j:=i;
      while(j<=length(s))and(s1[j]=s[j])and f do
      if s1[j]<>s[j] then f:=false
      else j:=j+1;
     end;
    if f then k:=i
    else i:=i-1;
   end;
if k=0 then writeln('Вхождения нет')
else writeln('Последнее вхождение=',k);
end;
var s,s1:string;
    k:integer;
begin
writeln('Введите строку:');
readln(s);
writeln('Введите подстроку:');
readln(s1);
found (k,s,s1);
readln
end.

if (s[i]=s1[1])and(length(s)-i+1>=length(s1)) then
     begin
      f:=true;
      j:=i;
      while(j<=length(s1))and f do//убрал and(s1[j]=s[j])
      if s1[j]<>s[j] then f:=false
      else j:=j+1;
     end;

while(j<=length(s1))and f do//убрал and(s1[j]=s[j])

(j<=length(s))

(j<=length(s1))

while(i>=1)and(k=0)do
 begin
  if (s[i]=s1[1])and(length(s)-i+1>=length(s1)) then
     begin
      f:=true;
      j:=i;
      while(j<=length(s1))and f do//вы здесь исправили s на s1?
      if s1[j]<>s[j] then f:=false
      else j:=j+1;
     end;
    if f then k:=i
    else i:=i-1;
   end;