--- a/model/ProvenanceModel.html	Fri Aug 05 10:14:09 2011 +0100
+++ b/model/ProvenanceModel.html	Fri Aug 05 10:22:33 2011 +0100
@@ -665,9 +665,9 @@
 <p>An <dfn id="dfn-Agent">agent</dfn> represents a characterized thing capable of
 activity.</p> 
 
-<p> An agent assertion, <b>agent(b)</b>:
+<p> An agent assertion, <b>agent(e)</b>:
 <ul>
-<li> refers to an entity <b>b</b>
+<li> refers to an entity <b>e</b>
 </ul>
 </p>
 
@@ -760,7 +760,7 @@
 
 
 <p>
-An assertion "B is an IVP of A" holds over the temporal intersection of A and B, <em>only if</em>: 
+An assertion "isComplementOf(B,A)" holds over the temporal intersection of A and B, <em>only if</em>: 
 <ol>
 <li> if a mapping can be established from an attribute X of B to an attribute Y of A, then the values of A and B must be consistent with that mapping</em>  </li>
   <li>B has some attribute that A does not have