--- a/model/prov-constraints.html Mon Aug 06 08:57:26 2012 +0100
+++ b/model/prov-constraints.html Mon Aug 06 09:47:02 2012 +0100
@@ -926,7 +926,6 @@
<td class="essential"><a>Influence</a></td>
<td><a class="rule-text" href="#influence-inference"><span>TBD</span></a><br>
<a class="rule-text" href="#key-properties"><span>TBD</span></a><br>
- <a class="rule-text" href="#impossible-influence-reflexive"><span>TBD</span></a><br>
</td>
</tr>
<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -2909,17 +2908,6 @@
<span class="math">I</span> is invalid).
- <hr />
-
-<p id="impossible-influence-reflexive_text">Influence is required to
- be <a>irreflexive</a>, that is, it is impossible for something to
- influence itself.</p>
-
- <div class='constraint' id="impossible-influence-reflexive">
- <p> <span class="conditional">IF</span> <span class="name">wasInfluencedBy(e,e)</span> <span class="conditional">THEN</span> <span class="conditional">INVALID</span>.</p>
- </div>
-
-
<hr />