https://5dok.net/document/oz1mp4dz-calculus-namefree-formulas-involving-represent-reference-transforming-mappings.html