Flint and Freddoso's account of omnipotence implies that in W, at t, Oscar has the power to actualize (e), because: (i) (e) is not a member of a world-type-for-Oscar; (ii) the same world-type-for-Oscar is true in both W and W*; (iii) it is possible for someone at t to actualize (e) in W*, which shares the same history up to t as W.
The notion of actualization employed in this account of omnipotence calls for some explanation. If an agent, \(S\), brings about a state of affairs, \(p\), then \(S\) actualizes \(p\). However, this account presupposes that an agent may [weakly] actualize another agent’s making a free decision without bringing about or causing that decision. In particular, it is assumed that an agent may weakly actualize a decision that is free in the libertarian sense by bringing about the antecedent of a true “counterfactual of freedom.”