Massage language around threat model

as per David Singer