--- a/model/working-copy/wd5-prov-dm-misc.html	Fri Mar 09 08:38:28 2012 -0500
+++ b/model/working-copy/wd5-prov-dm-misc.html	Fri Mar 09 08:40:00 2012 -0500
@@ -246,17 +246,41 @@
 </ul></div>
 <p>While each of the components <span class='attribute'>activity</span>, <span class='attribute'>time</span>, and  <span class='attribute'>attributes</span> is OPTIONAL, at least one of them MUST be present.</p>
 
-<div class="note">
-Action Luc:L
- add example of "expiration"
 
-wasInvalidatedBy / Invalidation
-- version 1 of prov-dm expires when version 2 published
-   (editing activity invalidates previous ones, and publishes new one)
-- a document at a url expires when removed 
-   (remove activi
+
+
+
+<div class="anexample">
+<p>
+In the following example, invalidation is caused by a new version of an entity being made available. Let us consider the resource <a href="http://www.w3.org/TR/prov-dm/">tr:prov-dm</a> when it was the first working draft (attribute <span class="name">ex:version=1</span>). 
+This resource was no longer the first working draft, as soon as the second working draft was published.
+Hence, <a href="http://www.w3.org/TR/prov-dm/">tr:prov-dm</a> was invalidated by <span class="name">ex:act2</span>,
+when it published <span class="name">tr:WD-prov-dm-20111215</span>.</p>
+<pre class="codeexample">
+entity(tr:prov-dm,[prov:type="working draft", ex:version="1"])
+wasInvalidatedBy(tr:prov-dm,ex:act2,2011-12-15T16:00:00)
+activity(ex:act2,,,[prov:type="publish"])
+wasGeneratedBy(tr:WD-prov-dm-20111215, ex:act2,2011-12-15T16:00:00)
+</pre>
 </div>
 
+
+
+<div class="anexample">
+<p>
+In the following example, invalidation is caused by the disappearance of an entity. Let us consider the proceedings of the 2002 Chicago provenance workshop. They used to be hosted at <span class="name">http://people.cs.uchicago.edu/~yongzh/position_papers.html</span>, and were lost as a researcher left the hosting institution.  The proceedings were restored at <a href="http://www.ipaw.info/chicago02/position_papers.html"><span class="name">ipaw:2002</span></a>.
+<pre class="codeexample">
+entity(chicago:wkshp2002,[prov:type="workshop talks"])
+wasInvalidatedBy(tr:prov-dm,2010-08-21T00:00:00)
+
+entity(ipaw:wkshp2002,[prov:type="workshop talks"])
+activity(ex:restore,[prov:type="Restore"])
+wasGeneratedBy(ipaw:wkshp2002,ex:restore,2012-03-09T0:00:00)
+wasDerivedFrom(ipaw:wkshp2002,chicago:wkshp2002)
+</pre>
+</div>
+
+
 </section>
 
 <!--