From 7a176b9f9e3ac8838539c91cc2466d4e0f16bc70 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 08:55:53 +0000
Subject: [PATCH] wip create base

---
 article.tex | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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}
 
-- 
2.30.2