Better remove_min.