We can formalise this idea by introducing a universal quantifier on the variable x in the QUEEN formula.
qUEEN X,M (a) can be defined as the probability, measured over M × M × M , that for every metric in X the automatic summary a is closer to a model than two models to each other.