https://123dok.org/document/ozlg5goy-s-agreement-formal-analysis-extension-ws-agreement.html