Precedents don't mean anything anyway. The DEMs will ignore it or push it as the situation varies.
You’re right of course. The only way to be sure is nuke em all from orbit.. I will spare you the tired graphic. ;-)