wip create base

diff --git a/article.tex b/article.tex
index 84b95b2958b0b59273d62f62ea4a63c7cb655d92..9286d604f594c43e9da561d475808d59651d941b 100644 (file)
--- 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}