--- a/ontology/ProvenanceFormalModel.html	Thu Nov 24 15:16:17 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Thu Nov 24 15:39:46 2011 -0500
@@ -1902,13 +1902,13 @@
 	<section id = "entailments-supported-by-the-provenance-model">
 	<h3>Provenance-specific Entailments Supported by PROV Ontology</h3>
 	<p>The PROV-DM [[PROV-DM]] introduces a set of provenance-specific constraints. These provenance constraints will be modeled in PROV ontology as OWL axioms or as rules using the Rule Interchange Framework (RIF) [[!RIF-OVERVIEW]]. These constraints are expected to be used by provenance applications in addition to the PROV ontology file.</p>
-	<div class='note'> The provenance-specific constraints are currently under review and discussion. Individual constraints will be added to the PROV ontology or as RIF rules after the relevant issues are resolved. The provenance constraints are enumerated in Appendix A.
+	<div class='note'> The provenance-specific constraints are currently under review and discussion. Individual constraints will be added to the PROV ontology or as RIF rules after the relevant issues are resolved. The provenance constraints will be progressively added to this section as the related issues are resolved.
 	</div>
 	     
     </section>   	  
     </section>   	  
 
-	<section class="appendix"> 
+<!--	<section class="appendix"> 
 	<h2>Provenance-specific Constraints</h2>
 	<p>This section lists the provenance-specific constraints introduced by the PROV-DM [[PROV-DM]], but are still under discussion.
 	<section id="provenance-constraint-on-activity">
@@ -2010,7 +2010,7 @@
 	  </div>
 	</section>
 	</section>
-
+-->
     <section class='appendix'>
       <h2>Acknowledgements</h2>
       <p>