X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=traversal.tex;h=ab1e6d4ade011651642cbc61bf8ac5ab3e3a4aae;hp=b07cc9cee2401707dc4791ace55ba381ddd1a24e;hb=35d8920c70badf3ea6556ad6cf53ea96ef6aec0c;hpb=b0829518c57769b909a278ca6a3610a057e66fdf

diff --git a/traversal.tex b/traversal.tex
index b07cc9c..ab1e6d4 100644
--- a/traversal.tex
+++ b/traversal.tex
@@ -226,6 +226,11 @@ 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$.
+  }
+  \condproof{Foreign Merges}{ Not applicable. }
 
   TODO TBD