Arrow's_Theorem loading ...