Viliam_Bur comments on Harry Potter and the Methods of Rationality discussion thread, part 25, chapter 96

[Viliam_Bur]

The last one of {X; X is enemy && X shall be destroyed } is death.

It can be true assuming that the remaining enemies are indestructible.