--- a/model/working-copy/wd5-prov-invalidation.html	Wed Apr 04 12:07:20 2012 +0100
+++ b/model/working-copy/wd5-prov-invalidation.html	Wed Apr 04 12:13:10 2012 +0100
@@ -283,7 +283,7 @@
 wasInvalidatedBy(buy_one_beer_get_one_free_offer_during_happy_hour,
                  -,2012-03-10T18:00:00)
 </pre>
-<p>Alternatively, in the following example, Bob redeemed the offer 45 minutes before it expired.</p>
+<p>Alternatively, in the following example, Bob redeemed the offer 45 minutes before it expired, and got two beers.  Here, the offer is also "used" by the redeem activity.</p>
 <pre class="codeexample">
 entity(buy_one_beer_get_one_free_offer_during_happy_hour)
 wasAttributedTo(proprietor)
@@ -293,6 +293,7 @@
      redeemOffer, 2012-03-10T17:15:00)
 wasInvalidatedBy(buy_one_beer_get_one_free_offer_during_happy_hour,
                  redeemOffer, 2012-03-10T17:15:00)
+wasGeneratedBy(twoBeers,redeemOffer)
 </pre>
 </div>