This is an old revision of the document!
Fixing framework and axiomatics After this entry, the chain of definitions start
Foundational temp1