. "Additionally, there is an event, named receive, that depends on the occurrence of an external event." . . .