Social_choice_function loading ...