Graduated income tax rates and transfer programs create piecewise-linear budget constraints that consist of budget segments and kink points. With any change in these tax rules, each individual may switch between a kink point and a budget segment, between two budget segments, or between two kink...

We extend an analytical general equilibrium model of environmental policy with pre-existing labor tax distortions to include pre-existing monopoly power as well. We show that the existence of monopoly power has two offsetting effects on welfare. First, the environmental policy reduces monopoly...