--- a/model/ProvenanceModel.html	Thu Aug 04 09:30:01 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Aug 04 09:43:37 2011 +0100
@@ -161,14 +161,11 @@
 We denote this e5.
 </p>
 
-<p>During interval [t+3, t+4[ a separate assertion is made about the characterized thing represented by the file. This includes the new <em>disclaimer</em> attribue and is recorded as entity e6. 
-<pre>
-cat /share/crime.txt | sendmail ...
-</pre>
-
+<p>Event evt6: between events evt4 and evt5, someone (unspecified) runs a spell checker on the file /share/crime.txt.
+ The file after spell checking is referred to as e6.
 </p>
 
-    </section> 
+</section> 
 
     <section> 
 <h3>Encoding in PIL</h3>