Implicitly Causing an Event

A secondary effect of liberating an event is that the happened state is set to HAPPENED, and processes waiting on the happened state are reactivated. For more information about the liberate statement, refer to Liberating an Event earlier in this section.