--- a/ontology/ProvenanceFormalModel.html	Wed Oct 12 05:21:09 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 12 05:23:41 2011 +0100
@@ -129,8 +129,9 @@
 <p>TODO: MUST include at least one customized paragraph. This section SHOULD include the title page date (i.e., the one next to the maturity level at the top of the document). These paragraphs SHOULD explain the publication context, including rationale and relationships to other work. See examples and more discussion in the Manual of Style.<a href="http://www.w3.org/2001/06/manual/#Status">TODO</a></p>
 </section>
  
-    <!-- <section-->>
-      <a name="Introduction"></a><h2>Introduction</h2>
+    <a name="Introduction"></a>    
+    <section>
+      <h2>Introduction</h2>
       <p>
         PROV Ontology Model (also PROV ontology) defines the normative modeling of the PROV Data Model [[PROV-DM]] using the W3C OWL2 Web Ontology Language. This document specification describes the set of classes, properties, and restrictions that constitute the PROV ontology, which have been introduced in the PROV Data Model [[PROV-DM]]. This ontology specification provides the foundation for implementation of provenance applications in different applications using the PROV ontology for representing, exchanging, and integrating provenance information. Together with the PROV Access and Query [[PROV-PAQ]] and PROV Data Model [[PROV-DM]], this document forms a framework for provenance information management in domain-specific Web-based applications.
       </p>
@@ -157,7 +158,7 @@
 		</p>
       </section>
 
-    <!-- </section> <!-- Introduction -->-->
+    </section> <!-- Introduction -->