be extinct; be destroyed; destruct — To disappear completely without any traces; to remove something in such a way.