A high court has to decide whether a lawis constitutional, unconstitutional, or interpretable. The voting system is runoff. Runoff voting systems can be interpreted both, as social choice functions or as mechanisms. It is known that, for universal domains of preferences, runoff voting systems...

The conditions of strong Condorcet winner consistency and strong Condorcet loser consistency are, in essence, universally accepted. However, there are many situations in which they are silent. The weak counterparts of these properties suffer from the fatal flaw that a weak Condorcet winner can...