Condorcet_winner_criterion loading ...