--- a/model/prov-constraints.html	Mon Jul 23 10:18:03 2012 +0100
+++ b/model/prov-constraints.html	Mon Jul 23 10:35:14 2012 +0100
@@ -3111,7 +3111,7 @@
     </li>
   <li>
     Apply all inferences to <span class="math">I<sub>1</sub></span> by adding the conclusion of each inference
-    whose hypotheses are satisfied and whose conclusions do not
+    whose hypotheses are satisfied and whose entire conclusions do not
     already hold (again, possibly introducing fresh existential
     variables), yielding an instance <span class="math">I<sub>2</sub></span>.
     </li>