Consider three voters named Alice, Bob and Carol, who wish to select a winner among four candidates named formula_1, formula_2, formula_3 and formula_4. Assume that they use the Borda count: each voter communicates his or her preference order over the candidates. For each ballot, 3 points are assigned to the top candidate, 2 points to the second candidate, 1 point to the third one and 0 points to the last one. Once all ballots have been counted, the candidate with the most points is declared the winner.