In this paper 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 countries...