 And if I remember correctly, that first we would be energy independent, which we were before he left office. And then he would start exporting, especially the LNG, which I think that was his original plan to work on the debt. So he did mention that you have to look for it. It was kind of quietly stated. So.