slide: The event state-transition diagram