--- a/model/ProvenanceModel.html	Wed Jul 20 17:54:05 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Jul 20 18:00:59 2011 +0100
@@ -556,7 +556,9 @@
 
 <h3>IVP of</h3>
 
-<p><dfn id="dfn-IVPof">IVP of</dfn> is a relationship between two characterized entities that are asserted to be the same over some continuous time interval.</p>
+<p><dfn id="dfn-IVPof">IVP of</dfn> is a relationship between two characterized entities asserted to have compatible characterization over some continuous time interval. Establishing such relationship would in theory require knowledge of both characterizations. In practice, it is designed in such a way so that one entity communicates its properties and values, whereas the other receives communicated values, and compares with its own values.  Hence, it is designed to be an asymmetric relation.</p>
+
+
 
 <p>An IVP assertion is denoted <b>IVPof(B,A)</b>, where A and B are two BOBs.
 
@@ -582,10 +584,6 @@
 </p>
 
 
-<p>Let A and B be two BOBs. An assertion "B is an IVP of A" 
-indicates that, for its asserter, A and B represent the same entity in 
-the world.</p>
-
 
 <p>
 An assertion "B is an IVP of A" holds over the temporal intersection of A and B, <em>only if</em>: