The mining industry is developing.