From 3064ca6a757bfdabbc11f78e579dae2f36146bf4 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 14:51:27 +0000
Subject: [PATCH] simple commit foreign inclusion use simple foreign inclusion

---
 article.tex | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/article.tex b/article.tex
index 3f066dc..b4035dd 100644
--- a/article.tex
+++ b/article.tex
@@ -470,10 +470,9 @@ So:
 \[ A \nothaspatch P \implies C \nothaspatch P \]
 $\qed$
 
-\subsection{Foreign inclusion:}
+\subsection{Foreign Inclusion:}
 
-If $D = C$, trivial.  For $D \neq C$:
-$D \isin C \equiv D \isin A \equiv D \le A \equiv D \le C$.  $\qed$
+Simple Foreign Inclusion applies.  $\qed$
 
 \subsection{Foreign Contents:}
 
-- 
2.30.2