To be fair, very few proofs involve the creation of new machinery wholesale.