 that he was tired and that he needed to see something that was happening. And my answer stays the same. I wouldn't read too much into it. It's not the first time that he has. He has a really busy schedule, and there's a lot going on. As you know, when the president is abroad, he has continued to do domestic stuff as well as meeting with global leaders. And so I truly would not read too much into it, and I will leave it there.