This paper takes a mechanism design approach to federalism and assumes that local preferences are the private information of local jurisdictions. Contractual federalism is defined as a strategy-proof contract among the members of the federation supervised by a benevolent but not omniscient...