In a seminal contribution, Hansson has demonstrated that the family of decisive coalitions associated with an Arrovian social welfare function forms an ultrafilter. If the population under consideration is infinite, his result implies the existence of ...