Key exchange necessity tweaks
Public-key encryption intro tweaks