--- a/model/prov-constraints.html	Wed Aug 08 13:25:33 2012 +0200
+++ b/model/prov-constraints.html	Wed Aug 08 12:28:11 2012 +0100
@@ -2455,7 +2455,7 @@
 as or after <span class="name">e2</span>. Both relations are
 <a>preorder</a>s, meaning that they are <a>reflexive</a> and
 <a>transitive</a>.  Moreover, we sometimes consider <em>strict</em> forms of these
-orders: we say <span class="name">e1</span> <a>strictly precedes</a> <span
+orders: we say <span class="name">e1</span> <dfn>strictly precedes</dfn> <span
 class="name">e2</span> to indicate that <span class="name">e1</span>
 happened before <span class="name">e2</span>, but not at the same time.  This is a
 <a>transitive</a> relation. </p>
@@ -2483,17 +2483,17 @@
     <p><span class="conditional">IF</span> <span
   class="name">hyp<sub>1</sub></span> and ... and <span
   class="name">hyp<sub>n</sub></span> <span class="conditional">THEN</span> <span
-  class="name">evt1</span> <a>precedes</a>/<a title="precedes">strictly precedes</a> <span
+  class="name">evt1</span> <a>precedes</a>/<a>strictly precedes</a> <span
   class="name">evt2</span>.  </p></div>
   <p>
   The conclusion of an ordering constraint is either <a>precedes</a>
-  or <a title="precedes">strictly precedes</a>.  One way to check
+  or <a>strictly precedes</a>.  One way to check
   ordering constraints is to 
   generate all <a>precedes</a> and <a title="precedes">strictly
   precedes</a> 
   relationships arising from the ordering constraints to form a directed graph, with edges marked <a>precedes</a> or
-  <a title="precedes">strictly precedes</a>, and check that there is no cycle
-  containing a <a title="precedes">strictly precedes</a> edge.
+  <a>strictly precedes</a>, and check that there is no cycle
+  containing a <a>strictly precedes</a> edge.
   </p>
 
   
@@ -2692,7 +2692,7 @@
 <span class="name">wasStartedBy(start1; a1,-,-,-)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start1</span> 
-<a title="precedes">strictly precedes</a>
+<a>strictly precedes</a>
 <span class="name">start2</span>.
 </div>
 -->
@@ -2807,7 +2807,7 @@
 <span class="name">wasDerivedFrom(_d; _e2,_e1,_a,gen2,use1,_attrs)</span> 
 <span class="conditional">THEN</span>
 <span class="name">use1</span> 
-<a title="precedes">strictly precedes</a>
+<a title="precedes">precedes</a>
 <span class="name">gen2</span>.  
 </p>
 </div>
@@ -2831,7 +2831,7 @@
 <span class="name">wasGeneratedBy(gen2; e2,_a2,_t2,_attrs2)</span>
 <span class="conditional">THEN</span>
 <span class="name">gen1</span> 
-<a title="precedes">strictly precedes</a>
+<a>strictly precedes</a>
 <span class="name">gen2</span>.  
 </p>
   </div>