X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=article.tex;h=1a1e9d14363d2b3b629a21e6320029754bdcc614;hb=11f4dd11cebc837935410fb336c610a906fd1f27;hp=d852fb8a7be17b2b5acb9245c97997c7db40717c;hpb=151d200011cb73c9869fd9fe85e794bd324ffc86;p=topbloke-formulae.git

diff --git a/article.tex b/article.tex
index d852fb8..1a1e9d1 100644
--- a/article.tex
+++ b/article.tex
@@ -133,7 +133,7 @@ A patch $\p$ consists of two sets of commits $\pn$ and $\py$, which
 are respectively the base and tip git branches.  $\p$ may be used
 where the context requires a set, in which case the statement
 is to be taken as applying to both $\py$ and $\pn$.
-None of these sets overlap.  Hence:
+All of these sets are disjoint.  Hence:
 
 \item[ $ \patchof{ C } $ ]
 Either $\p$ s.t. $ C \in \p $, or $\bot$.