If we consider that the mining sector was just 6% of GDP in 2024, this gives us pause for thought around the role that ...