https://5dok.net/document/zlgjew2o-correctness-of-services-and-their-composition.html