From 63f907df8c8d67156359a4a384dd0060d3de31d3 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 14:52:51 +0000
Subject: [PATCH] create tip

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

diff --git a/article.tex b/article.tex
index b4035dd..29d8ca9 100644
--- a/article.tex
+++ b/article.tex
@@ -602,7 +602,13 @@ and $D \le C \equiv D \le B$.
 
 $\qed$
 
-xxx up to here
+\subsection{Foreign Inclusion}
+
+Simple Foreign Inclusion applies.  $\qed$
+
+\subsection{Foreign Contents}
+
+Not applicable.
 
 \section{Anticommit}
 
-- 
2.30.2