[perform_to_strangers]

Even considering modern usage, Webster.com says that the word carries a connotation of killing, not that it directly means "to kill." The question remaining would be whether it carried that connotation in the Latin in which TA and the writers of the documents of the Fourth Lateran Council wrote.

(In point of fact, most exterminators today would tell you that the most effective long-term solution for many pest problems is exclusion: sealing up a house to keep the problems out. They also advise proper sanitation and reducing harborage outside; trimming the bushes against a house and hosing down spider webs as they appear outside will help reduce the number of spiders one sees inside. I don't know when extermination came to imply killing off, but my guess would be that the pest management industry had something to do with it.)

[Havoc]

Hitler seemed to have a pretty good bead on what extermination meant.