--- a/ontology/ProvenanceFormalModel.html	Sun Oct 09 15:27:58 2011 +0100
+++ b/ontology/ProvenanceFormalModel.html	Sun Oct 09 16:16:56 2011 -0400
@@ -1344,12 +1344,6 @@
  (<a href="../model/ProvenanceModel.html#PROV:0003">link</a>)
 </li>
 
-<li><a name="PROV:0004" href="#PROV:0004">PROV:0004</a> "Use
-represents the consumption of a characterized entity by an activity."
-(Defunct.)
-</li>
-
-
 <li><a name="PROV:0005" href="#PROV:0005">PROV:0005</a> "Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>, if
  assertion <b>used(pe,e,r)</b> or <b>used(pe,e,r,t)</b> holds, 
 the existence of the value of an attribute of <b>e</b>' is a pre-condition for the activity denoted by <b>pe</b> to terminate."  (<a href="../model/ProvenanceModel.html#PROV:0005">link</a>)
@@ -1413,7 +1407,7 @@
 </li>
 </ul>
 
-<div class="note">The following constraints are extracted from the
+<div class="note">The above constraints are extracted from the
   ProvenanceModel document.  The text below should be kept consistent
   with the other document, with bidirectional links.  The plan is to
   insert formalizations of these constraints once the OWL