The energy mix, carbon pricing and border carbon adjustments