We examine how allowing individuals to emigrate to pay lower taxes abroad changes the optimal non-linear income tax scheme in a Mirrleesian economy. An individual emigrates if his domestic utility is less than his utility abroad net of migration costs, utilities and costs both depending on...