There's not an argument from economic efficiency to tax by rock content.