It is money in the worker's pocket at the start of his retirement. And there are other taxes mining companies pay. They pay payroll tax. They pay carbon taxes. They pay a renewable energy tax. And of course they pay the highest wages in the industry in the world, and not only coal wages but iron ore wages. And in the last six months, as to MYEFO, iron ore prices have actually gone up by 30 per cent—well over the $120 a tonne benchmark.