--- a/model/prov-constraints.html	Mon Sep 03 16:37:37 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 16:38:55 2012 +0100
@@ -4269,7 +4269,7 @@
 wasInfluencedBy(id;e2,e1)
 wasDerivedFrom(id;e2,e1)
 </pre>
-    This satisfies the disjointness constraint.
+<p>    This satisfies the disjointness constraint.
     </p>
     <p>There is, however, no
     constraint requiring that every influence relationship is
@@ -4278,7 +4278,7 @@
     <pre>
 wasInfluencedBy(id; e2,e1)
 </pre>
-    This is valid; there is no inferrable information about what kind
+<p>    This is valid; there is no inferrable information about what kind
     of influence relates <span class="name">e2</span> and <span class="name">e1</span>, other than its identity.
     </p>
   </div>
@@ -4701,7 +4701,7 @@
        <li>For stage 6, we check weak acyclicity using the algorithm
       in       [[DBCONSTRAINTS]], namely:
        <ul><li> Given a formula <span class="math">φ(x<sub>1</sub>,...,x<sub>n</sub>) ⇒
-      ∃y<sub>1</sub>,...,y<sub>m</sub>. ψ(x<sub>1</sub>,...,x<sub>n</sub>,y<sub>1</sub>,...,y<sub>m</sub>)<span class="math"></li>
+      ∃y<sub>1</sub>,...,y<sub>m</sub>. ψ(x<sub>1</sub>,...,x<sub>n</sub>,y<sub>1</sub>,...,y<sub>m</sub>)</span></li>
       <li>For every <span class="math">x</span> that occurs in  <span class="math">ψ</span>, and for every
       occurrence of <span class="math">x</span> in <span class="math">φ</span> in position <span class="math">r.i</span>:
       <ol><li>For every occurrence of <span class="math">x</span> in position <span class="math">s.j</span>, add