This paper develops several points concerning the design and implementation of a carbon tax. First, if implemented without any offsetting changes in transfer programs, the carbon tax would be regressive. This regressivity could be offset with changes in either the direct tax system or transfers....