Arrow's_impossibility_theorem loading ...