We analyze the analytical structure of optimal taxation of polluting and non-polluting goods in a second-best world where lump-sum taxes are infeasible. After deriving the environmental tax rate which exactly internalizes the external effect, we show how to separate the analysis of second-best...