strategy: wip traversal.

[topbloke-formulae.git] / traversal.tex

diff --git a/traversal.tex b/traversal.tex
index a241644e3e3ff1c2711904fc73b69c19d944793d..55a4900f790d4a08aed2ed4ae8272cdb9f0f9354 100644 (file)
--- a/traversal.tex
+++ b/traversal.tex
@@ -221,7 +221,7 @@ R = \tipcn$ and $M = \baseof{W}$.
   \condproof{Ingredients}{
    $M \le L$ is trivial.  For $M \le R$ we want
    $\tipcn \ge \baseof{W}$.
-
+   Well $W$
    Now $\pendsof{\allreach}{\tipcy} =
    \pendsof{\allreachof{\pcn}}{\tipcy}$
    since we have created no commits $\in \pcn$ since