This paper examines carbon tax design options in the United States using an intertemporal computable general equilibrium model of the world economy called G-Cubed. Four policy scenarios explore two overarching issues: (1) the effects of a carbon tax under alternative assumptions about the use of the resulting revenue, and (2) the effects of a system of import charges on carbon-intensive goods (“border carbon adjustments”).