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).