https://123dok.net/document/q7ww0wnz-axiomatic-foundations-of-a-unifying-core.html