Updated "What we mean by NSA-proof"