would allow the EU to phase out current carbon leakage provisions of the ETS and to auction off all emission allowances … potential EU BCA and BTA revenues using a dynamic new Keynesian (DYNK) model. The BTA design of our choice would generate … substantial and stable revenues that could be used as innovative sustainability-oriented own resource to finance the EU budget. We …