Prove that event store records events and affected aggregates