--- a/model/ProvenanceModel.html	Sun Nov 20 14:51:40 2011 -0500
+++ b/model/ProvenanceModel.html	Mon Nov 21 10:56:09 2011 +0000
@@ -813,7 +813,7 @@
 
 <p> An activity record, written <span class="name">activity(id, rl, st, et, [ attr1=val1, ...])</span> in PROV-ASN, contains:</p>
 <ul>
-<li><em>id</em>: an OPTIONAL identifier <span class="name">id</span>;</li>
+<li><em>id</em>: an identifier <span class="name">id</span> identifying an activity;</li>;</li>
 <li><em>recipeLink</em>: an OPTIONAL <a href="#record-RecipeLink">recipe link</a> <span class="name">rl</span>, which consists of a domain specific description of the activity;</li>
 <li><em>startTime</em>: an OPTIONAL time <span class="name">st</span> indicating the start of the activity;</li>
 <li><em>endTime</em>: an OPTIONAL time <span class="name">et</span> indicating the end of the activity;</li>
@@ -1634,8 +1634,7 @@
 
 
 
-
-
+<div class='issue'>Should derivation have a time? Which time? This is   <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.</div>
 
 </section>
 
@@ -1778,9 +1777,6 @@
 
 
 
-<div class='issue'>Should derivation have a time? Which time? This is   <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.</div>
-
-</section>
 
 
 
@@ -2390,14 +2386,7 @@
 <section id="record-traceability">
 <h3>Traceability Record</h3>
 
-<div class="note">
-Define a transitive closure of derivation, wascomplementof, wasAssociatedWith, etc.
-This definition is essentially a generalization of dependedOn, computing a transitive closure over more relations.
-</div>
-
-<p> A <dfn id="dfn-Traceability">traceability record</dfn> states the existence of  a  "dependency path" between two entities, indicating that one entity can be shown to be in the lineage of another, and may have influenced it in some way. </p>
-
-<p>A treaceability record can be inferred from existing relations, or can be asserted stating that such a dependency path exists without the asserter knowing its individual steps. </p>
+<p> A <dfn id="dfn-Traceability">traceability record</dfn> states the existence of  a  "dependency path" between two entities, indicating that one entity can be shown to be in the lineage of another, and may have influenced it in some way. This relation is transitive. </p>
 
 <p> A traceability record, written <span class="name">tracedTo(id,e2,e1)</span> in PROV-ASN:</p>
 <ul>
@@ -2421,6 +2410,10 @@
 <span class="name">)</span>
 </div>
 
+<p>A treaceability record can be inferred from existing relations, or can be asserted stating that such a dependency path exists without the asserter knowing its individual steps. The last clause in the following definition ensures the transitivity property.</p>
+
+
+
 <div class='constraint' id='traceability definition'>
 Given two identifiers <span class="name">e2</span> and  <span class="name">e1</span>, identifying entity records, the record <span class="name">tracedTo(e2,e1)</span> holds <span class='conditional'>if and only if</span>:
 <ul>