In the budget announcement, it was based on discretionary spending, so it was 3% for operating discretionary spending and 15% for professional services and travel.
If you take those two percentages, and you apply them to the main estimates, you're going to get those specific numbers that you just referred to.