X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=traversal.tex;fp=traversal.tex;h=ab1e6d4ade011651642cbc61bf8ac5ab3e3a4aae;hb=02d646dff7177c19756094eb179a5c324e268f3b;hp=9ed717264b42e2cfe3fed1f357803c90e498282f;hpb=50af1d201be714a35c68f50df87c896cadd02412;p=topbloke-formulae.git

diff --git a/traversal.tex b/traversal.tex
index 9ed7172..ab1e6d4 100644
--- a/traversal.tex
+++ b/traversal.tex
@@ -230,6 +230,7 @@ R = \tipcn$ and $M = \baseof{W}$.
   \condproof{Merge Acyclic}{
    By Base Acyclic, $\tipcn \nothaspatch \p$.
   }
+  \condproof{Foreign Merges}{ Not applicable. }
 
   TODO TBD