It’s only worth 1.5B if you can extract it as an open pit mine, which is terrifically terrible for the environment. Waving that number around is nonsense because it ignores the societal and environmental costs of open pit mining.