anchor.diff:      else
           if event.role = role
           then
  -            let event' = { event with executed = true; pending = false; }
  +            let event' = {
  +                event with
  +                    executed = Some DateTime.Now;
  +                    pending = false;
  +            }
               let state' = Map.add event.name event' state
               let notify relations commands =
                   Set.foldBack (
  
positive.code:         let n = {
              name = event;
              role = role;
              executed = false;
              included = false;
              pending = false;
              executable = true;
  
negative.code: module Workflow
  open System
  
  // The types of relations the events can know of
  type Relation =             // The internal string is a http address
  