 A world \(W_i\) absorbs an act performed in it. Only the worlds in which \(A\) holds contribute positive probabilities and so affect the sum. Next, Sobel searches for other computations, using coarse-grained states, that are equivalent to the canonical computation. A suitable specification of utilities achieves partition invariance given his assumptions. According to a theorem he proves (1994: 185),