where formula_3 if and only if all doctors prefer matching formula_4 to matching formula_5: either they have the same assigned hospital in both matchings, or they are assigned a better hospital in formula_4 than they are in formula_5.