1. G : Id
2. to : |G|(IdLnk List)
3. from : |G|(IdLnk List)
4. e : Edge(G)
5. bi-graph(G;to;from)
  (e  to(destination(e)))

By:	Assert Dec((e  to(destination(e))))

1	Dec((e  to(destination(e))))	3 steps
2	6. Dec((e  to(destination(e))))   (e  to(destination(e)))	4 steps

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