X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;ds=sidebyside;f=lemmas.tex;h=8509c895ec46e213c6db96ade1442d814189f2a2;hb=891ae7626916bde1eb7dfa38762bbb4d94b85211;hp=41ea1c815af7fa6e04a2237255e5b355860888ac;hpb=4c0c56b9bf2a14d4cd0d90d9826d471da7483c14;p=topbloke-formulae.git

diff --git a/lemmas.tex b/lemmas.tex
index 41ea1c8..8509c89 100644
--- a/lemmas.tex
+++ b/lemmas.tex
@@ -121,7 +121,7 @@ So $\pendsof{C}{\set P} \subset \bigcup_{E \in \set E} \pendsof{E}{\set P}$.
 Consider some $E \in \pendsof{A}{\set P}$.  If $\exists_{B,F}$ as
 specified, then either $F$ is going to be in our result and
 disqualifies $E$, or there is some other $F'$ (or, eventually,
-an $F''$) which disqualifies $F$.
+an $F''$) which disqualifies $F$ and $E$.
 Otherwise, $E$ meets all the conditions for $\pends$.
 }