And importing gas famously has zero known serious externalities, as vividly demonstrated in Europe and the Gulf at the moment.