Social Choice and Artificial Intelligence, 16 July (The Reasoner, 2011)