Deciding whether a law is constitutional, interpretable, or unconstitutional

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 have several drawbacks as social choice functions. Although in our setting the preferences are restricted to be singlepeaked over three alternatives, these problems persist. Runoff mechanisms are not well-behaved either: they do not implement any Condorcet consistent social choice function in undominated subgame perfect Nash equilibria. We show, however, that some Condorcet consistent social choice functions can be implemented in dominant strategies via other simple and natural mechanisms. -- runoff voting system ; Condorcet consistency ; strategy-proofness ; implementation theory