“…For instance, when Vermin Supreme says, "When I'm president everyone gets a free pony", we discount the possibility that he plans to give everyone two free ponies; if he did, that would not contradict his promise, but his omission of information would be infelicitous. 5 A potential source of discrepancies between the framework's predictions and the reality of campaigns is that, given an elaborate body of information about a candidate's policies, voters have trouble evaluating the candidate due to the intractability of their utility functions. We will consider the computational complexity of the function problems of determining exact voter utility, but also of decision problems of determining whether the utility meets a given threshold, which are particularly relevant for the "stay-at-home voter" scenario we will discuss in Section 5.…”