Ore in the Ground Is a Resource. Ore Processed Is an Economy.