wording improvement

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index dc0ca18db3e09445c53e962b05e508821199b607..ab9d645f11059e3534939ece640708ed02e0cc4a 100644 (file)
--- 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 $.