Electoral Systems: Paradoxes, Assumptions, and Procedures