p:IdLnk List, i:||p||, j:(i+1).
  lpath(p)  lconnects(l_interval(p;j;i);source(p[j]);source(p[i]))

1

1. p : IdLnk List 2. i : ||p|| 3. j : (i+1) 4. lpath(p)   lconnects(l_interval(p;j;i);source(p[j]);source(p[i]))

8 steps

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