Social optimization problems typically maximize the sum of individual weighted utilities over feasible allocations that satisfy certain constraints. While social optimization problems are at the heart of economic analysis, it is not always clear how to choose individual welfare weights. In this...

We provide a respecification of an integer program characterization of Arrovian social welfare functions introduced by Sethuranam et al.(2003). By exploiting this respecification, we give a new and simpler proof of Theorem 2 in Kalai and Muller (1977).