to extinguish, wipe out, exterminate