The rare-earth problem was never a mining problem — type0 | type0