--- a/model/ProvenanceModel.html	Thu Aug 04 11:29:04 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Aug 04 11:36:56 2011 +0100
@@ -373,6 +373,8 @@
 Sometimes, inferences about the world can be made from assertions of the provenance data model. When this is the case, this specification defines such inferences.
 </p>
 
+<p> In this specification, the qualifier 'identifiable' is implicit whenever a reference is made to an activity or characterized thing.</p>
+
     </section> 
 
 
@@ -450,10 +452,14 @@
 </pre>
 </p>
 
+<p>A process execution is not an entity, because ... </p>
+<div class='note'>Formulate justification. We shouldn't adopt FRBR definitions. </div>
+
+
 
 <p>From the assertion of a process execution, one can infer that the start precedes the end of the represented activity. </p>
 
-<div class='issue'>Should process execution be defined as a subclass of BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/66">ISSUE-66</a>.</div>
+<div class='pending'>Should process execution be defined as a subclass of BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/66">ISSUE-66</a>.</div>
 </section> 
 
 <section id="concept-Generation">