documentation of ResolvedEvent, RecordedEvent, ReadSingle