Thank you, Costas.
That's the end of one round of questioning.
Perhaps I could just build off Costas' last question and ask for a little more clarification.
Under the specific claims, does the cost of negotiating them come out of your budget or does the Department of Justice supply those lawyers out of their budget?