This monograph studies representations of effectivity functions by game forms that are at least Nash consistent, which means that they have a Nash equilibrium for any profile of preferences. In the second part the focus is on social choice functions that admit a strong Nash equilibrium resulting in the sincere outcome. A central interpretation of an effectivity function is that it models a constitution.