In fact, mathematical proofs have shown that for any election with more than two options, it’s impossible to design a voting system that doesn’t violate at least some theoretically desirable criteria.