I might add, talking about the debt and getting off this $3 billion debt reduction, yes, I agree with you that it automatically may not happen for the first time, but it could still happen because perhaps the surplus they will see, going in, ends up being much more than the $4.5 billion, so there could still be more money going against the debt, which is not unusual.
Pour ce qui est maintenant de la dette et de la possibilité que ces 3 milliards de dollars ne soient pas affectés à la réduction de la dette, je suis d'accord avec vous pour dire que pour la première fois, cela ne va peut-être pas se faire automatiquement, mais cela pourrait finir par se produire si l'excédent se trouve à être bien supérieur aux 4,5 milliards de dollars, de sorte qu'il reste de l'argent à affecter à la réduction de la dette — ce qui n'est pas inhabituel, d'ailleurs.