 So the formula holds at \(w\) for each valuation if and only if \(w\) does not belong to the core. Clearly, if the formula is false at an outcome and some valuation, then this means that the outcome does belong to the core.