 As the reader will notice, dynamic effectivity functions allow each state to possibly have different power distributions among coalitions. This is strictu sensu irrelevant for the treatment of power in normal form games  (Section 3),  where the effectivity functions associated to outcomes could as well be taken to be equivalent everywhere in the model, but the model is general enough to treat extensive and repeated interaction, where the sequential structure of the interaction is defined explicitly. We will usually abbreviate \(E(w)(C)\) as \(E_w(C)\) or even \(E(C)\) when clear from the context.