I think the mini budget announced another paydown, which I presume would occur by year-end, of another $10 billion or so. When the government pays down debt, I'm just curious, how do they do that?
Je pense que le mini-budget a annoncé un autre versement forfaitaire de 10 milliards de dollars environ, qui se fera, je présume, d'ici la fin de l'exercice.