@mikeazo Btw.: If you ever need “formal proof” in the shape of an
absolutely useless crypto-paper (you could send our guy the
“Genital responses are not generically secure.” paper for example), feel free to
pick one from my site under the “Markovian Influence on Cryptography” section. ;)