X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=article.tex;h=ab9d645f11059e3534939ece640708ed02e0cc4a;hp=dc0ca18db3e09445c53e962b05e508821199b607;hb=cb503667cf48ac0666a8a57ddc5ef8380886d4b9;hpb=5e8082d7f849de019800368b07b08ecc43f9400e

diff --git a/article.tex b/article.tex
index dc0ca18..ab9d645 100644
--- a/article.tex
+++ b/article.tex
@@ -157,7 +157,7 @@ See Unique Base, below.
 
 \item[ $ C \haspatch \p $ ]
 $\displaystyle \bigforall_{D \in \py} D \isin C \equiv D \le C $.
-~ Informally, $C$ has the contents of $\p$.
+~ Informally, $C$ has all the reachable contents of $\p$.
 
 \item[ $ C \nothaspatch \p $ ]
 $\displaystyle \bigforall_{D \in \py} D \not\isin C $.