## 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

## Conjectures could be prooved, theories could be augmented ===> new versions of a document could be released