If the US has 3317.5 million metric tonnes of CO2 emissions or fewer in a year by 2030, then the market resolves to Yes.