Tiebout's basic claim was that when public goods are local there is an equilibrium and every equilibrium is efficient. The literature seems fall short of verifying this conjecture: If the notion of equilibrium is too weak then equilibrium is nonempty yet some equilibria could be inefficient. On...