--- a/model/ProvenanceModel.html	Wed Jul 27 12:28:20 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Jul 27 13:42:55 2011 +0100
@@ -544,13 +544,16 @@
 <section>
 <h4>Transitivity</h4>
 
-<div class="note">
-To distinguish  
-<ul>
-<li>The assertion <b>isDerivedFrom(e1,e0)</b> corresponding to a single process execution, as per process execution introduction inference;
-<li>The relation <b>isDerivedFrom+(e1,e0)</b> obtained by transitive closure of <b>isDerivedFrom</b>;
-<li>The assertion <b>isDerivedFromInMultipleSteps(e1,e0)</b>, which may correspond to one or more process executions.
-</div>
+<p>The relationship <b>isDerivedFrom</b> is transitive. Indeed, given <b>isDerivedFrom(e2,e1)</b> and <b>isDerivedFrom(e1,e0)</b>, <b>e2</b> is transformed from (resp. created from/affected by) 
+<b>e1</b>, which in turn is transformed from (resp. created from/affected by) <b>e0</b>. So,
+<b>e2</b> is indirectly transformed from (resp. created from/affected by) 
+<b>e0</b>.  
+</p>
+
+<p>The relationship <dfn id="dfn-isDerivedFrom+">isDerivedFrom+</dfn> is the transitive closure of <b>isDerivedFrom</b>.</p>
+
+<p>Whereas <b>isDerivedFrom(e1,e0)</b>is an assertion that corresponds to a single process execution, <b>isDerivedFrom+(e1,e0)</b> is obtained by transitive closure <b>isDerivedFrom</b>.
+In addition, this specification introduces a further assertion <b>isDerivedFromInMultipleSteps(e1,e0)</b>, which may correspond to one or more process executions.</p>
 </section>