Yes. Very quickly, Carlos. I mean, the market that we have seen softening in the U.S. is residential. And really, we've only seen that softening in some of our markets. One of the areas, for instance, selectively has been the Bay Area in San Francisco. I mean, first, I would like to say that for us, demand for the housing market is probably around 30% to 35%. That's the expectation in terms of the volume. And of course, we do expect some downturn, mild downturn, they're tightening credit lending conditions. However, I'd like to say that households are stronger, jobs are better. There are low inventories, for instance. True that mortgage rates have gone up, but they are likely to normalize. Rents are also going up quite rapidly, which at some point in time will translate again into increased demand. So on the housing side, we're seeing a little bit of a slowdown. But then offsetting that, which is about 2/3 of our business is infrastructure, which is about 50%. And then you have industrial and commercial, which is somewhere between 15% to 20%. And in infrastructure, we see actually quite a bit of backlog right now. I mean if you take a look at contract awards, in our key states, they're up 11% on a trailing 12-month basis, and that's very healthy. And frankly, with elections coming up and with elections coming up in '24, the pressure on the government is going to be very high to continue to disburse. There are other fiscal stimulus programs that are there. There's the Inflation Reduction Act. There's the CHIPS Act. There's a number of spending programs that are likely to translate into an acceleration in infrastructure going into '23. Now Industrial and Commercial is another area that we're beginning to see a very important uptick, not only in the U.S. but also an impact of that is happening in Mexico as well. And that is a function, frankly, from a lot of the near-shoring or French shoring, let's say, that is taking place. You've heard of the recently CHIPS Act, that's a $53 billion funding program that is translating to a build-out of chip manufacturing infrastructure in the U.S. You have the Inflation Reduction Act, which we mentioned, that's $370 billion. The only reason I'm throwing a lot of these numbers at you is that, yes, we do expect housing to moderate, but moderating under very healthy conditions, totally unlike the last time that we've seen a situation like this. But then on the other hand, we think that there are some countercyclical measures that are likely to kick in, which are infrastructure and industrial and commercial. Now it's a bit too late. We're just in the budgeting process. So I can't give you kind of where we have in terms of guidance in terms of next year, but on balance, I mean, we're expecting the situation to be probably neutral to sort of modestly weaker going into next year.