But what would we do without crypto mining?