I would like to add “rube”, “patsy”, and “jerk” to our collective formal threat modeling lexicon. What’s it take to do that? A paper?