Comparative static properties of the solution to an optimal nonlinear income tax problem are provided for a model in which the government both designs an income tax schedule for redistributive purposes and provides a public good optimally. There are two types of individuals, distinguished by...