As a percentage of the population hwo much is that? They can afford to lose a few thousand or hundred thousand miners every year. still won't make a dent in their population
