More uniform terminology: destroy -> delete.