Add a shorter definition of good_cmp