We build a simple analytical general equilibrium model and linearize it, to find a closed-from expression for the effect of a small change in carbon tax on leakage - the increase in emissions elsewhere. The model has two goods produced in two sectors or regions. Many identical consumers buy both...