I’m not saying they’re going to devalue the currency right now. What I am saying is if they stay below $70 [per barrel of oil] for the medium term, you can see them devalue the currency. I don’t think it’s going to happen anytime this year because the year is almost over. I’d be a little nervous going into 2025.