1. the_w : World
2. t : 
3. 0<t
4. i:Id. first(<i,t-1>)  pred(<i,t-1>)  E
5. t=0
  i:Id. 
  if isnull(a(i;t-1)) first(<i,t-1>) else false fi
  
  if isnull(a(i;t-1)) pred(<i,t-1>) else <i,t-1> fi  E

1	6. i : Id 7. isnull(a(i;t-1))   first(<i,t-1>)  pred(<i,t-1>)  E	1 step
2	6. i : Id 7. isnull(a(i;t-1))   false  <i,t-1>  E	1 step

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html