For what it’s worth, people mined rocks to build the pyramids multiple thousands of years ago. They don’t mine using an army of slaves wielding chisels anymore.