--- a/model/prov-dm.html	Wed Mar 28 14:59:43 2012 +0100
+++ b/model/prov-dm.html	Wed Mar 28 15:01:35 2012 +0100
@@ -2177,11 +2177,6 @@
 <p>Further considerations: </p>
 
 <ul>
-<li>In Key-Value pairs, Keys are <a href="#term-value">values</a>, and Values are entities. This allows expressing nested collections, that is, collections whose values include entities of type collection.</li>
-
-<li>As the relation names suggest, insertion and removal relations are a particular case of <a href="#Derivation-Relation">derivation</a>.</li>
-
-
 
 <li>The state of a collection (i.e., the set of key-value pairs it contains) at a given point in a sequence of operations is never stated explicitly. Rather, it can be obtained by querying the chain of derivations involving insertions and removals. Entity type <span class="name">emptyCollection</span> can be used in this context as it marks the start of a sequence of collection operations.</li>