--- a/model/ProvenanceModel.html	Fri Nov 25 11:47:02 2011 +0000
+++ b/model/ProvenanceModel.html	Fri Nov 25 11:51:16 2011 +0000
@@ -2614,6 +2614,8 @@
 </ul>
 </div>
 
+<p>We note that the previous constraint is not really an inference <em>rule<æm>, since there is nothing that we can actually infer. Instead,  this constraint should simply be seen as part of the definition of the traceability record. </p>
+
 
 </section>