"...but there is a security proof for it."?