Diamonds are a miner's best friend.