that sum is at least as much as the value that the agents would have gotten as a coalition if they had deviated, and instead, formed that subset s. so, kind of intuitively, what we're guaranteing here is that the sum of the payoffs to all of the agents in any subcoalition, is at least as much as they could earn if they actually did go off and form that subcoalition.