From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 08:55:53 +0000 (+0000)
Subject: wip create base
X-Git-Tag: f0.2~71
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=7a176b9f9e3ac8838539c91cc2466d4e0f16bc70;hp=4adeed6d2972032c54c95f52d4eb74a110685aad

wip create base
---

diff --git a/article.tex b/article.tex
index 84b95b2..9286d60 100644
--- a/article.tex
+++ b/article.tex
@@ -523,7 +523,12 @@ and $L \nothaspatch \p \implies B \nothaspatch P$.
 
 $\qed$.
 
-xxx unfinished
+\subsection{Foreign Inclusion}
+
+Consider some $D$ s.t. $\patchof{D} = \bot$.  $D \neq B$
+so $D \isin B \equiv D \isin L$.
+
+By Foreign Inclusion of $D$ xxx up to here
 
 \section{Create Tip}