Explicit EventRecorder

The event recorder (made explicit in a previous commit) has been tested.