Utilitarian_social_choice_rule loading ...