--- a/model/prov-constraints.html	Mon Jul 23 09:59:38 2012 +0100
+++ b/model/prov-constraints.html	Mon Jul 23 10:04:16 2012 +0100
@@ -1035,7 +1035,9 @@
   <dfn>existential variables</dfn> denoting the unknown values.
   Existential variables can be <em>substituted</em> with constant
   identifiers, literals, the placeholder <span class="name">-</span>,
-  or other <a>existential variables</a>.  </p>
+  or other <a>existential variables</a>.  
+We note that  Definitions 1, 2, and 3 desugar compact PROV-N notation into a normal form.
+</p>
 
   <div class="definition" id="optional-identifiers">
 <p>For each  <span class="name">r</span> in {