I will come to your latest announcement. I asked about the $1.4 billion, so the answer, obviously, is that zero has been paid back.
You also had, at that time, in 2021, $650 million allocated for equity as well as for warrants. How much taxpayer money have you spent right now in warrants on that 2021 option?