--- a/model/ProvenanceModel.html	Tue Sep 06 00:38:00 2011 +0100
+++ b/model/ProvenanceModel.html	Tue Sep 06 01:01:44 2011 +0100
@@ -665,7 +665,7 @@
 this means that the thing represented by <b>e1</b> has an influence on the thing represented by <b>e2</b>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
 
 <div class='constraint' id='derivation-attributes'><a name="PIL:0007">Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>wasDerivedFrom(e2,e1,pe,r2,r1)</b>
-or <b>wasDerivedFrom(e2,e1)</b> holds, if and only if:
+or <b>wasDerivedFrom(e2,e1)</b> holds, <span class='conditional'>if and only if</span>:
  the values of some attributes
 of <b>e2</b> are partly or fully determined by the values of some
 attributes of <b>e1</b>.</a> [<a
@@ -907,7 +907,7 @@
 </p>
 
 <div class='constraint' id='wasComplementOf-necessary'>
- <a name="PIL:0013">An assertion "wasComplementOf(B,A)" holds over the temporal intersection of A and B, <em>only if</em>: 
+ <a name="PIL:0013">An assertion "wasComplementOf(B,A)" holds over the temporal intersection of A and B, <span class='conditional'>only if</span>: 
 <ol>
 <li> if a mapping can be established from an attribute X of B to an attribute Y of A, then the values of A and B must be consistent with that mapping</em>  </li>
   <li>B has some attribute that A does not have
@@ -1117,7 +1117,7 @@
 
 <div class='constraint' id='participation'>
 <a name="PIL:0014">
-Given a process execution <b>pe</b> and entity <b>e</b>, <b>hadParticipant(pe,e)</b> holds if and only if:
+Given a process execution <b>pe</b> and entity <b>e</b>, <b>hadParticipant(pe,e)</b> holds <span class='conditional'>if and only if</span>:
 <ul> 
 <li> <b>used(pe,e)</b> holds, or</li>
 <li> <b>wasControlledBy(pe,e)</b> holds, or</li>

--- a/model/extra.css	Tue Sep 06 00:38:00 2011 +0100
+++ b/model/extra.css	Tue Sep 06 01:01:44 2011 +0100
@@ -75,6 +75,8 @@
     padding:    3px 1em;
 }
 
+
+
 .constraint {
     padding:    1em;
     margin: 1em 0em 0em;
@@ -107,5 +109,7 @@
 
 
 
+.conditional {
+    color: blue;
+}
 
-