, there is an event

′ which happens at mid-time between

and

″. Then, when certain conditions have been fulfilled, the event

at