Formalizing event store tests.