Has the Kyoto Protocol induced carbon leakage? We conduct the first empirical ex-post evaluation of the Protocol. We derive a theoretical gravity equation for the CO2 content of trade, which accounts for intermediate inputs, both domestic and imported. The structure of our new panel database of...