Is digitized proofs another way of saying the equivalent of a calculator, when a calculator was new?