So Bill Binney is often described as a legendary mathematician inside the NSA, have anyone ever had a technical discussion with him about things like ECC?