eliminate, end, put an end to, terminate, destroy,
annihilate, annul, void, make void, demolish, do away with,
nullify, repeal, cancel, obliterate, liquidate, destroy, stamp
out, quash, extinguish, erase, delete, expunge; eradicate,
extirpate, deracinate, uproot