This paper examines how allowing individuals to emigrate to pay lower taxes changes the optimal non-linear income tax scheme in a Mirrleesian economy. Type-dependent participation constraints are borrowed from contract theory. An individual emigrates if his domestic utility is less than his...