Mining does not necessarily involve drilling holes in the ground and pulling out minerals. It…