traversal: proof of Tip Correct Contents

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

diff --git a/trav-alg.tex b/trav-alg.tex
index 8a9a68ad1e63e19d05bf44ccb19912935373f84d..210b20b9ed32971aac20f940397a91bf0671f05e 100644 (file)
--- a/trav-alg.tex
+++ b/trav-alg.tex
@@ -32,7 +32,7 @@ such that:
 \statement{Base Correct Contents}{
   \tipcn \haspatch \pd
    \equiv
-  \pc \hasdep \pd
+  \pd \isdep \pc
 }
 \statement{Tip Exceeds Inputs}{
   \tipcy \ge \pendsof{\allsrcs}{\pcy}