Helping miners with a transition to carbon tax.