https://123dok.net/document/y96rkoew-logic-events-framework-reason-distributed-systems.html