This paper examines carbon tax design options in the United States using an intertemporal computable general equilibrium model of the world economy called GCubed. 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”).