https://123dok.net/document/6qm9n29y-conditions-for-set-agreement-with-an-application-to-synchronous-systems.html