From 01c84a4814d7ab659483e8a4cc3fb6aa7c90faa1 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 17:59:28 +0000
Subject: [PATCH 1/1] more clarifications and fixes from reread

---
 article.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/article.tex b/article.tex
index 40c6518..3219147 100644
--- a/article.tex
+++ b/article.tex
@@ -640,7 +640,7 @@ $$
 \subsubsection{For $\p = \pq$:}
 
 By Base Acyclic, $D \not\isin B$.  So $D \isin C \equiv D = C$.
-By No Sneak, $D \le B \equiv D = C$.  Thus $C \haspatch \pq$.
+By No Sneak, $D \not\le B$ so $D \le C \equiv D = C$.  Thus $C \haspatch \pq$.
 
 \subsubsection{For $\p \neq \pq$:}
 
-- 
2.30.2