--- a/dictionary/Overview.html	Thu Mar 28 18:14:15 2013 +0000
+++ b/dictionary/Overview.html	Fri Mar 29 10:17:20 2013 +0100
@@ -2747,8 +2747,8 @@
 <p id="impossible-removal-membership_text">A dictionary that was derived by removal from another dictionary, cannot contain the key-entity pairs that were removed from the latter.</p>
 	 <div class='constraint' id='impossible-removal-membership-constraint'>
 	<span class='ruleTitle'><a class="internalDFN" href="#impossible-removal-membership-constraint">Constraint D9 (impossible-removal-membership)</a></span>
-<p>
   <p>Here, <span class="name">K1</span> is a set of key-entity pairs.</p>
+   <p>
 <span class="conditional">IF</span> <span class="name">prov:derivedByRemovalFrom(d2, d1, K1)</span> and 
     <span class="name">prov:hadDictionaryMember(d2, e, k)</span> and <span class="name">k &in; K1</span> <span class='conditional'>THEN</span> <span
 	 class="conditional">INVALID</span>