--- a/model/ProvenanceModel.html	Thu Aug 04 08:51:40 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Aug 04 09:30:01 2011 +0100
@@ -120,40 +120,45 @@
 <h3>A File Scenario</h3>
 
 
-<p>Let us consider a shared file system in which journalists Alice, Bob, Charles, David, and Edith can share and edit a crime statistics file.
+<p>This scenario is concerned with the evolution of a crime statistics
+file (e0) stored on a shared file system and which journalists Alice,
+Bob, Charles, David, and Edith can share and edit. We now consider
+different events in the evolution of file (e0).</p>
+
+
 
 <p>
-Time t: Alice creates an empty file in /share/crime.txt. This is recorded as entity e1.
+Event evt1: Alice creates an empty file in /share/crime.txt.  We denote this e1.
 </p>
 
 <p>
-Time t+1: Bob appends the following line to /share/crime.txt:
+Event evt2: Bob appends the following line to /share/crime.txt:
 <pre>
 There was a lot of crime in London last month.
 </pre>
-This is recorded as entity e2.
+We denote this e2.
 </p>
 
-<p>Time t+2: Charles emails the contents of /share/crime.txt
+<p>Event evt3: Charles emails the contents of /share/crime.txt
 <pre>
 cat /share/crime.txt | sendmail ...
 </pre>
-This is entity e4.
+We denote this e4.
 </p>
 
 <p>
-Time t+3: David edits file /share/crime.txt as follows.
+Event evt4: David edits file /share/crime.txt as follows.
 <pre>
 There was a lot of crime in London and New-York last month.
 </pre>
-This is entity e3.
+We denote this e3.
 </p>
 
-<p>Time t+4: Edith emails the contents of /share/crime.txt
+<p>Event evt5: Edith emails the contents of /share/crime.txt
 <pre>
 cat /share/crime.txt | sendmail ...
 </pre>
-This is entity e5.
+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.