The productivity measure remains to us a bit of a puzzle, as we say in our report. We don't fully understand why it is that productivity has been so weak over the last couple of years. It may be that there was actually more output there. When we get all the revisions and statistics, we may find that there's more output there. It may be, with these big intersectoral shifts going on, that we have been going through a period of time when productivity is depressed as people have to make these shifts from one sector to another.
Finally, of course, within the primary sector, particularly in oil, gas, and mining, when prices are high, the optimal way to use the resource is to actually low grade, and that means that the unit cost of production actually goes up when prices are high.
So there are a number of factors. But I would stick with it. It's still a bit of a puzzle to us.