use Condorcet 0.13