The model of distribution
The validity of a mathematical document A that refers to a document B can be guaranteed only if B does not change ===> mathematical documents should be immutable