let choose = min_elt