9 Miners dig the hardest rocks, Dig mountains away at their base.