formalize this fundamental economic logic and apply it to analyzing compensation rules proposed under the EU Emissions Trading … this practice results in substantial overcompensation for given carbon leakage risk. Efficient permit allocation reduces … the aggregate risk of job loss by more than half without increasing aggregate compensation …