strategy: rename trav-alg.tex to traversal.tex
strategy: move traversal proofs inline
strategy: reachable is going well
traversal: wip Recreate Base Final Declaration
traversal: Prove Recreate Base Beginning - done
traversal: Prove Recreate Base Beginning - Create Acyclic
traversal: Base/Tip Correct Contents chane notation
traversal: proof of Tip Correct Contents
traversal: wip prove Recreate Base Beginning OK, currently need to prove Tip Correct Contents
wip traversal
wip traversal
wip traversal
wip traversal, diverting to do Recreate-Base first
wip traversal
strategy: wip proofs
strategy: split into more files