1. l : IdLnk
2. p : IdLnk List
3. lpath(p)
4. ||p|| = 0  destination(l) = source(hd(p)) & hd(p) = lnk-inv(l)
  lpath([l / p])

1	2. lpath(nil) 3. ||nil|| = 0   3.  3. destination(l) = source(hd(nil)) & hd(nil) = lnk-inv(l)  IdLnk   lpath([l])	1 step
2	2. u : IdLnk 3. v : IdLnk List 4. lpath([u / v]) 5. ||[u / v]|| = 0   5.  5. destination(l) = source(hd([u / v])) & hd([u / v]) = lnk-inv(l)   lpath([l; u / v])	4 steps

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