 A defining feature of agents is that they make choices. Suppose a citizen votes, and in doing so chooses to vote for X rather than Y. It is hard to see how this act can be a choice without a corresponding counterfactual being true: 