From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 17:59:28 +0000 (+0000)
Subject: more clarifications and fixes from reread
X-Git-Tag: f0.2~38
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=01c84a4814d7ab659483e8a4cc3fb6aa7c90faa1

more clarifications and fixes from reread
---

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$:}