--- a/model/ProvenanceModel.html	Wed Dec 07 17:02:18 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Dec 08 10:36:54 2011 +0000
@@ -2718,7 +2718,6 @@
 <div class='constraint' id='traceability inference'>
 Given two identifiers <span class="name">e2</span> and  <span class="name">e1</span> identifying entity records, 
 the following statements hold:
-<span class='conditional'>then</span>  <span class="name">tracedTo(e2,e1)</span> also holds.
 
 <ol> 
 <li><span class='conditional'>If</span>  <span class="name">wasDerivedFrom(e2,e1,a,g2,u1)</span> holds, for some <span class="name">a</span>, <span class="name">g2</span>, <span class="name">u1</span>, <span class='conditional'>then</span>  <span class="name">tracedTo(e2,e1)</span> also holds.</li>