--- a/model/prov-constraints.html	Mon Jul 23 13:14:32 2012 +0100
+++ b/model/prov-constraints.html	Mon Jul 23 13:18:33 2012 +0100
@@ -2283,7 +2283,7 @@
 <span class="name">wasEndedBy(end;a,_e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start</span> 
-<a title="precedes">strictly precedes</a>
+<a title="precedes">precedes</a>
 <span class="name">end</span>.
 </p>
 </div>
@@ -2376,7 +2376,7 @@
 <span class="name">wasEndedBy(end;a2,_e2,_a2',_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start</span> 
-<a title="precedes">strictly precedes</a>
+<a title="precedes">precedes</a>
 <span class="name">end</span>.
 </p>
 </div>
@@ -2774,7 +2774,7 @@
 
 </section> <!--event-ordering-constraints--> 
 
-<section>
+<section id="impossibility-constraints">
 <h3>Impossibility constraints</h3>
 
 <p> Impossibility constraints require that certain patterns of
@@ -3186,7 +3186,7 @@
   </li>
   <li>
   If no
-  such cycle exists, and none of the impossibility constraints and typing constraints are
+  such cycle exists, and none of the impossibility constraints <a href="#impossibility-constraints">(section 5.3)</a>  and type constraints <a href="#type-constraints">(section 5.4)</a> are
   violated, then <span class="math">I</span> is <a>valid</a>.
   </li>
   </ol>