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