Let me make it very clear. There are no taxpayer funds going to the Adani mine.