--- a/model/prov-dm-constraints.html	Mon Apr 02 12:05:55 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 12:09:16 2012 +0100
@@ -1005,11 +1005,11 @@
 <p>Specialization is <em>neither reflexive nor irreflexive</em>.</p>
 
 <div class="anexample" id="anexample-specialization-not-reflexive">
-???
+reflexive counter-example???
 </div>
 
 <div class="anexample" id="anexample-specialization-not-irrreflexive">
-???
+irreflexive counter-example???
 </div>
 
 
@@ -1021,17 +1021,12 @@
 </div>
 
 <div class="anexample" id="anexample-specialization-not-anti-symmetric">
-anti-symmetric example???
+anti-symmetric counter-example???
 </div>
 
 
 <p>Specialization is <em>transitive</em>. Indeed if <span class="name">specializationOf(e1,e2)</span> holds, then there is some common thing, say <span class="name">T1-2</span> they both refer to. Likewise, if <span class="name">specializationOf(e2,e3)</span> holds, then there is some common thing, say <span class="name">T2-3</span> they both refer to.  The Things <span class="name">T1-2</span> and <span class="name">T2-3</span> are the same since <span class="name">e2</span> refers to only one thing. </p>
 
-<div class="anexample" id="anexample-specialization-not-transitive">
-
-???
-</div>
-
 
 </section> 
 
@@ -1106,30 +1101,6 @@
 
 
 
-<section id="term-Collection">
-<h3>Collections</h3>
-
-<p>Nothing specific, here, everything in Collection constraint section</p>
-
-</section>
-
-
-
-   <section id="component6"> 
-<h3>Component 6: Annotations</h3>
-
-
-   <section id="term-note"> 
-      
-<h4>Note</h4>
-
-<p>Attribute-value pairs occurring in notes are application specific. Thus, their interpretation is outside the scope of this document, and they are not subject to any of the constraints listed in this document. </p>
-
-
-
-   </section> 
-
-
 
 </section>