The reach of social choice theory