53. Revision, review, and inquiry

A mathematical archive has a continuing life. Revisions, shared error, and finite checking capacity change its use without changing the standard of proof.