There’s a push towards lab-grown diamonds, 7 million carats were produced last year, but mined diamond production was still far…