--- a/ontology/ProvenanceFormalModel.html	Wed Oct 26 15:04:04 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 26 15:10:57 2011 +0100
@@ -131,8 +131,7 @@
 <section id='sotd'>
 </section>
  
-     <section>    
-     <a id ="introduction"></a>  
+     <section id="introduction">    
       <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.
@@ -353,13 +352,13 @@
 		  </div>
 		  <div class='issue'>Scope and Identifiers. 
           This is <a href="http://www.w3.org/2011/prov/track/issues/81">ISSUE-81</a>.</div>
-		<section>
-			<h4>Modeling ProvenanceContainer and Account as RDF Graph</h4>
-			<p>Placeholder for Tim's description</p>
-		</section>
-	    </section>
 
+            <section>
+                <h5>Modeling ProvenanceContainer and Account as RDF Graph</h5>
+                <p>Placeholder for Tim's description</p>
+            </section>
 
+        </section>
 
 		<section id="location">
 		  <h4>Location</h4>
@@ -483,6 +482,7 @@
 			</div>
 		  <div class='issue'>Should derivation have a time? Which time? This is   <a href="http://www.w3.org/2011/prov/track/issues/43">ISSUE-43</a>.</div>
 		  <div class='issue'>Should we specifically mention derivation of agents? This is <a href="http://www.w3.org/2011/prov/track/issues/42">ISSUE-42</a>.</div>
+        </section>
 		
 		<section>
 			<h4>wasEventuallyDerivedFrom</h4>
@@ -520,7 +520,7 @@
               wasDerivedFrom? This is <a
               href="http://www.w3.org/2011/prov/track/issues/125">ISSUE-125</a>
               </div> 
-          </section>
+        </section>
 
 
 
@@ -542,8 +542,6 @@
 	    </section>
 
 
-
-
 		<section id="hadparticipant">
 		  <h4>hadParticipant</h4>
 	      <p>hadPariticipant links Entity to ProcessExecution, where Entity used or wasGeneratedBy ProcessExecution.
@@ -1201,6 +1199,7 @@
             key. (PROV-DM does not describe wasRemovedFrom_Entity).
             </p>
             </section>
+
             <section class="collection-empty">
                 <h4>EmptyCollection</h4>
                 <p>PROV-O defines
@@ -1240,6 +1239,7 @@
             <em>empty-collection-disjoint</em> and
             <em>empty-collection-range</em> in the OWL ontology</div>
             </section>
+
             <section>
             <h4>Collection content</h4>
             <p>To describe the complete content of a Collection (its
@@ -1290,6 +1290,7 @@
             having to express all the individual members? 
             </div>
             </section>
+
         </section>
 
 	  <section id="overview-of-the-ontology">