strategy: traversal, Tip-Merge, from base, Tip Merge & Merge Acyclic

[topbloke-formulae.git] / traversal.tex

diff --git a/traversal.tex b/traversal.tex
index b07cc9cee2401707dc4791ace55ba381ddd1a24e..9ed717264b42e2cfe3fed1f357803c90e498282f 100644 (file)
--- a/traversal.tex
+++ b/traversal.tex
@@ -226,6 +226,10 @@ R = \tipcn$ and $M = \baseof{W}$.
    so Base Covers Reachable indeed
    $\tipcn \ge \baseof{W}$.
   }
+  \condproof{Tip Merge}{ Trivial. }
+  \condproof{Merge Acyclic}{
+   By Base Acyclic, $\tipcn \nothaspatch \p$.
+  }
 
   TODO TBD