X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;ds=sidebyside;f=trav-alg.tex;h=e56a8a912cdf0274b83e4bae94b4a1a679429ac6;hb=67e27b1cb5487e79f47e828773fdd574b9da9712;hp=df5e4cd8fb3b5e47532215b754ea66b6816fb0c1;hpb=0ef6782afa245b0744d82dc7ff2d5a34a1fe2dc1;p=topbloke-formulae.git

diff --git a/trav-alg.tex b/trav-alg.tex
index df5e4cd..e56a8a9 100644
--- a/trav-alg.tex
+++ b/trav-alg.tex
@@ -34,13 +34,13 @@ such that:
    \equiv
   \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}
-
-