Yes, the net debt should be lower than expected.
On the other hand, what we did in this report is consistent with what the International Monetary Fund is doing. Because financial assets can play nasty tricks on us, particularly with respect to international comparisons, we used gross debt in order to be consistent with the International Monetary Fund's methodology. However, the results should, overall, be in alignment, regardless of whether we're looking at gross debt or net debt. The levels would of course be different, but the trajectory should remain approximately the same. If the likelihood of lower gross debt in five years is two out of three, then the probabilities should be pretty much the same for net debt.