EFI as the Event Operator