That's an interesting article from Steele. But he starts out saying that his chosen translation is "vanish," but concludes with a stronger argument in favor of "eliminate." Eliminate is a particularly nasty word, especialy, as Steele says, one is looking for the speaker's intent.