create tip

diff --git a/article.tex b/article.tex
index b4035ddf35da3ad1c234a2b42f684784d3fd3485..29d8ca96c97c0f679d842e9c99d133a28b710742 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -602,7 +602,13 @@ and $D \le C \equiv D \le B$.
 
 $\qed$
 
 
 $\qed$
 

-xxx up to here
+\subsection{Foreign Inclusion}
+
+Simple Foreign Inclusion applies.  $\qed$
+
+\subsection{Foreign Contents}
+
+Not applicable.

 
 \section{Anticommit}
 
 
 \section{Anticommit}