In our analytical general equilibrium model where two polluting inputs can be substitutes or complements in production, we study the effects of a tax on one pollutant in two cases: one where both pollutants face taxes and the second where the other pollutant is subject to a permit policy. In...