Logic and social choice. (2014)