--- a/model/ProvenanceModel.html	Fri Aug 05 07:43:26 2011 +0100
+++ b/model/ProvenanceModel.html	Fri Aug 05 10:09:49 2011 +0100
@@ -359,7 +359,7 @@
 <p>The data model includes a notion of "provenance container" that is
  a logical grouping for a set of assertions. It serves multiple
  purposes.  First, it provides a way to attach various metadata to the
- set of assertions.  Second, it provides a scope in which some constraints apply.
+ set of assertions.  Second, it provides a scope in which some constraints may apply.
  Third, it provides a default scope for
  identifiers used in assertions.  This means that identifiers are
  expected to be resolvable only within the scope of a container,
@@ -460,7 +460,6 @@
 but is typically not identifiable by the characteristics it exhibits at
 any point during its duration.</p>
 
-<p>A process execution represents an activity that may be deterministic or non-deterministic. </p>
 
 <div class='note'>Elaborate justification.   </div>
 
@@ -971,18 +970,16 @@
 
 <p>A <dfn id="dfn-ProvenanceContainer">Provenance Container</dfn> is an identifiable wrapper for a set of PIDM constructs, which allows for additional meta-information pertaining to these constructs to be expressed. A provenance container MAY contain other provenance containers.</p> 
 
-<p>Such meta-information may be authorship, date of creation, justification for assertions, and cryptographic signature. </p>
+<p>Such meta-information may be asserter, date of creation, justification for assertions, and cryptographic signature. </p>
 
 
-<p>A provenance container construct, noted <b>provenanceContainer(id, statements)</b>:
+<p>A provenance container construct, noted <b>provenanceContainer(id, constructs)</b>:
 <ul>
 <li> contains an identifier <b>id</b>;</li>
-<li> contains a set of provenance constructs <b>statements</b>.</li>
+<li> contains a set of provenance constructs <b>constructs</b>.</li>
 </ul>
 
-<p>How meta-information is expressed is beyond the scope of this specification, except for asserters specified in the <a href="#concept-Account">Account</a> construct.</p>
-
-
+<p>How general meta-information is expressed is beyond the scope of this specification, except for a few key metatypes specified in the <a href="#concept-Account">Account</a> construct.</p>
 
 
 <div class='pending'>Asserter needs to be defined. This is <a href="http://www.w3.org/2011/prov/track/issues/51">ISSUE-51</a>.</div>
@@ -994,16 +991,19 @@
 <section id="concept-Account">
 <h3>Account</h3>
 
-<p>An <dfn id="dfn-Account">Account</dfn> is a kind of provenance container forming a perspective on the world. </p> 
+<p>An <dfn id="dfn-Account">Account</dfn> is a special kind of provenance container forming a perspective on the world. </p> 
 
-<p>It is expected that an account offers some coherence and consistency from the viewpoint of its asserter, and in that sense is distinct from an arbitrary container. Hence, an account has a mandatory asserter.</p> 
+<p>An account has a mandatory asserter.</p> 
+
+<p>An account provides a scope for some constraints associated with the constructs it wraps, such as the uniqueness of generation for a given entity.</p> 
 
 
-<p>An account construct, noted <b>account(id, asserter, statements)</b>:
+
+<p>An account construct, noted <b>account(id, asserter, constructs)</b>:
 <ul>
 <li> contains an identifier <b>id</b>;</li>
 <li> refers to an agent <b>asserter</b>;</li>
-<li> contains a set of provenance statements <b>statements</b>.</li>
+<li> contains a set of provenance constructs <b>constructs</b>.</li>
 </ul>
 </p>