to be destroyed; to become extinct; to perish; to die out; to destroy; to exterminate