Arrow's_theorem loading ...