--- a/ontology/ProvenanceFormalModel.html	Wed Oct 26 15:10:57 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Wed Oct 26 15:12:27 2011 +0100
@@ -1113,6 +1113,7 @@
                         prov:wasExpandedAt :key2 .    
                 </pre>
             </div>
+            <div class="issue">TODO: Write Collection examples as RDF/XML</div>
             <p>
             The above example describes collections <code>:col0</code>,
             <code>:col1</code> and <code>:col2</code>. We know that
@@ -1130,7 +1131,6 @@
             existence of the remaining <code>wasExpanded*</code> properties are implied.
             </div>
             <div class="issue">TODO: Express the constraint <em>expanded-collection</em> in the OWL ontology</div>
-            <div class="issue">TODO: Write Collection examples as RDF/XML</div>
             <div class="issue">Does prov:Collection allow replacement or 
             multiple additions on the same key?
             If we do a second expansion using the :key1,