The claim that proof techniques are insufficient conflates contingent cryptographic assumptions with...