There are a number of organizing principles that have not been enunciated (let alone written down) as of June 1980 but which are vital to the organization of systems within Gnosis if those systems are to benefit from Gnosis.
These principles have been around from the beginning of the design effort but they were discernable only indirectly from the design.
Proofs that security policies are met under Gnosis requires stating these principles. They will be better understood if they are made explicit. The statements that I now am beginning to formulate are mathematical in style.