We demonstrate that global permit markets are Pareto efficient despite the externality type, production or consumption, when income redistribution occurs after regional environmental policymaking. Ex-ante income redistribution is neutral if emissions affect production only, but non-neutral if...