In this paper, commuting is introduced to a federal economy where benevolent lower-level (state) governments levy an ad valorem tax on labour income. This results in inefficiently low levels of taxation, even when households as a whole do not migrate. Indeed, rather than attracting more workers...