--- a/ontology/ProvenanceFormalModel.html	Mon Oct 10 19:43:45 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Mon Oct 10 19:44:19 2011 +0100
@@ -627,7 +627,6 @@
 		</td></tr></table>
 		<div class='note'>Some of them may be subject to discussion. In particular, regarding the object properties <i>wasControlledBy</i>, <i>wasGeneratedBy</i> and <i>isUsedBY</i>, we did not specify whether they are transitive or not. One may argue that given that an agent can be a process execution, a process execution, e.g., <i>pe1</i>, can be controlled by an agent <i>pe2</i>, which happens to be a process execution that is controlled by an agent <i>ag</i>, and that, therefore, <i>ag</i> (indirectly) controls <i>pe1</i>. The same argument can be applied to <i>wasGeneratedBy</i> and <i>isUsedBY</i>. That said, we are not convinced that these properties should be declared as transitive. In fact, we are more inclined towards specifying that they are not.
 		 </div>
-		</section>        
 	  </section>
 
 	  <section>