https://9dok.net/document/qvl6nwdr-old-version-paper-named-facts-integrality.html