 The last property is well-foundedness, as in the case of arbitrary effectivity functions. This is not a property that is assumed in all variants, e.g., the choice structures in Kooi &amp; Tamminga 2008 and its temporal variant STIT (Belnap et al. 2001) do not. However, as observed in Turrini 2012 and Tamminga 2013, well-founded consequentialist models correspond to strategic games and the effectivity function \(E\) can be effectively simulated by the equivalence relation \(\approx_i\) for each player. Intuitively \(E^{*}(i)\) is the set of sets of outcomes that \(i\) can choose without being able to refine further.