Re: Provably "Secure" Crypto