1. Top List
2. u : Top
3. v : Top List
4. L2:Top List, n:(||v||+1). firstn(n;v @ L2) ~ firstn(n;v)
  L2:Top List, n:(||v||+1+1).
  if 0<n [u / firstn(n-1;v @ L2)] else nil fi ~ if 0<n [u / firstn(n-1;v)]
  if 0<n [u / firstn(n-1;v @ L2)] else nil fi ~ else nil fi

1

5. L2 : Top List 6. n : (||v||+1+1) 7. 0<n   firstn(n-1;v @ L2) ~ firstn(n-1;v)

1 step

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