one of the outcomes of this work i want to highlight is the observation that not everyone mechanizes proofs for the same reasons. there are motivations that derive from:
- *Convincing*: wanting to improve confidence in results as objects of study scale in complexity;
- *Explaining*: wanting to improve precision and clarity in definitions, communicate ideas, and identify reusable abstractions.

a lot of talking past each other can happen when we conflate these purposes

another line of thought that emerged (and appears more significantly in the talk slides than in the paper) is how the desire to future-proof proofs participates in the broader human project of cultural artifact archival, alongside the history of media forms like film, games, net art, etc. and their respective challenges and changes to the technical needs of archives.

also, how stewardship matters. the work of re-transcribing and re-situating old work is how we express our care for its value