 Ecuador is heavily dependent on oil revenues, right? It's about a third of their export revenue. And I think it's about 6% of their GDP. So it plays a big role. Right now, the production from this area is about 72,000 barrels per day. So it's significant. And I think what is at play here, though, is...