strategy: reachable is going well

[topbloke-formulae.git] / trav-alg.tex

diff --git a/trav-alg.tex b/trav-alg.tex
index 8a9a68ad1e63e19d05bf44ccb19912935373f84d..e56a8a912cdf0274b83e4bae94b4a1a679429ac6 100644 (file)
--- a/trav-alg.tex
+++ b/trav-alg.tex
@@ -30,17 +30,17 @@ such that:
   \baseof{\tipcy} = \tipcn
 }
 \statement{Base Correct Contents}{
-  \tipcn \haspatch \pd
+  \tipcn \haspatch \pa E
    \equiv
-  \pc \hasdep \pd
+  \pa E \isdep \pc
 }
-\statement{Tip Exceeds Inputs}{
-  \tipcy \ge \pendsof{\allsrcs}{\pcy}
+\statement{Tip Covers Reachable}{
+  \tipcy \ge \pendsof{\allreachof{\pcy}}{\pcy}
 }
-\statement{Base Exceeds Inputs' Bases}{
+\statement{Base Covers Inputs' Bases}{
   \bigforall_{E \in \pendsof{\allsrcs}{\pcy}} \tipcn \ge \baseof{E}
 }
-\statement{Base Exceeds Base Inputs}{
+\statement{Base Covers Base Inputs}{
   \bigforall_{H \in \set H^{\pn}} \tipcn \ge H
 }
 
@@ -153,5 +153,3 @@ $\alg{Merge}$ with $L = W, \; R = S$ and any suitable $M$.
 (Tip Source Merge.)
 
 \end{enumerate}
-
-