The mining revenue will, at the same price, halve every 4 years by design, it is not designed to be a growth industry, just a necessity that is phased out over time.