[Finnucane]

For comparison, annual production of copper in Brazil is ~~250,000 tons. So it's Brazil's economic interest that that copper gets mined and used.

[marcosdumay]

> annual production of copper in Brazil is ~~250,000 tons

AKA, very small.

> So it's Brazil's economic interest that that copper gets mined and used.

No country has an interest on making cooper more expensive.