--- a/model/prov-n.html	Thu Jul 12 11:01:00 2012 +0100
+++ b/model/prov-n.html	Thu Jul 12 11:14:47 2012 +0100
@@ -2013,26 +2013,23 @@
 
 <div class="anexample">
     <pre class="codeexample">
-   hadMembers(mId, c, {e1, e2, e3}, true, [prov:label="A beautiful collection"])   // Collection membership
+   hadMember(mId, c, {e1, e2, e3})   // Collection membership
   </pre>
 <p>  Here
     <span class="name">mId</span> is the optional membership identifier,
   <span class="name">c</span> is the  identifier for the collection whose membership is stated,
   <span class="name"> {e1, e2, e3}</span> is the entity-set indicating the members of 
-  <span class="name">c</span>,
+  <span class="name">c</span>.
+<!--
     <span class="name">true</span> is the complete flag indicating that the collection member is believed to be closed,
     and <span class="name">[prov:label="A beautiful collection"]</span> is the optional set of attributes. </p>  
+-->
 
 <p>
-In the remaining examples,  some of the optionals are omitted.
+In the following example, c is effectively of type EmptyCollection
 
 <pre class="codeexample">
-hadMembers(c3, {e1})
-hadMembers(c3, {e1,e2})     
-hadMembers(c3, {e1,e2}, false)
-hadMembers(c3, {e1,e2}, true)
-hadMembers(c3, {}, [])  
-hadMembers(c3, {}, true, [])  // c3 is effectively of type EmptyCollection
+hadMember(c, {})
 </pre>
 </div>