 In this article, I will keep the formal details to a minimum; however, it is useful at this point to settle on some terminology. Let \(V\) and \(X\) be finite sets. The elements of \(V\) are called voters and I will use lowercase letters \(i, j, k, \ldots\) or integers \(1, 2, 3, \ldots\) to denote them. The elements of \(X\) are called candidates, or alternatives, and I will use uppercase letters \(A, B, C, \ldots \) to denote them. 