Thank you. My next question is directed more to Mr. Fantino.
For a major procurement, let's say the Sikorsky helicopters, when delivery is not actually made and money has been allocated for the payment required, what happens to the money that was budgeted for that? Does it go back into general revenue, or does it stay in DND for the future delivery?