A man in a rock mine, wearing a headlamp and a work suit, works carefully.