The former issue is still debated. Extending the informational basis by introducing numerical indices of well-being (or equivalent extended orderings) is not the only conceivable extension. Arrow’s impossibility is obtained with the condition of Independence of Irrelevant Alternatives, which may be logically analyzed, when the theorem is reformulated with utility functions as primitive data, as the combination of Independence of Irrelevant Utilities (defined above) with a condition of ordinal no