My question is to the Treasurer. Can you confirm that oil and gas giant Shell has for years paid no Petroleum Resource Rent Tax and, even with your recent changes and war prices for LNG, Shell will now at best only pay a few cents per dollar of revenue? Isn't it time for a 25 per cent tax on gas export revenue so gas corporations like Shell pay their fair share?