Condorcet_cycle