--- a/model/ProvenanceModel.html	Sat Jul 30 16:00:03 2011 -0400
+++ b/model/ProvenanceModel.html	Tue Aug 02 11:49:29 2011 +0100
@@ -394,6 +394,7 @@
 <p>There is no assumption that the set of attributes is complete and
 that the attributes are independent/orthogonal of each other.</p>
 
+<div class='issue'>How is domain specific data combined with the provenance model? This is <a href="http://www.w3.org/2011/prov/track/issues/65">ISSUE-65</a>.</div>
 
 
     </section> 
@@ -424,6 +425,7 @@
 
 <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>
 </section> 
 
 <section id="concept-Generation">
@@ -585,6 +587,8 @@
 
 <div class='issue'> Transitivity does not seem to follow from above definition. This is <a href="http://www.w3.org/2011/prov/track/issues/56">ISSUE-56</a>.</div>
 
+<div class='issue'> What's the difference between one step and multi-step derivation assertion. Justification of why one BOB can be generated at most once.  Multi-step derivation is also transitive. This is all in <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
+
 
 </section>