void When(TimerDue e) =>
 Then(new TimerMeasured(e.When - _whenOccurs));
 void GivenScheduled(TimerDue e) =>
 _whenOccurs = Event.GetWhenOccurs(e).Value;