Mining is not the same as it was about 5 years ago. Maybe they’ll come up with something new.