> Some features in our products use an event sourcing pattern Ah, sounds very interesting! Are there any examples you'd be able to share? E.g. one example of

> Some features in our products use an event sourcing pattern Ah, sounds very interesting! Are there any examples you'd be able to share? E.g. one example of a TLA+ assertion that your event store is serializable, or whatever you can?