check `if (!new_elems.empty())`