An anonymous social choice function for a large atomless population maps cross-section distributions of preferences into outcomes. Because any one individual is too insignificant to affect these distributions, every anonymous social choice function is individually strategy- proof. However, not...