fun with condorcet