to sever, to cut off, to suppress, to eradicate, to exterminate, to abstain (from), to give up