In this article, I examine the design of climate treaties when there exist two kinds of technology, a conventional abatement technology with (linearly) increasing marginal costs and a backstop technology ("air capture") with high but constant marginal costs. I focus on situations in which...