 The president's doctor does say he's experiencing mild symptoms, a cough, a runny nose, some general malaise, some of those symptoms I think a lot of Americans can relate to. It's called being 81. Having gone through some of this. He has, of course, been vaccinated. And having dementia. We're told that he has received his first dose of Paxlovid. And when he got down there at the base of the stairs there, he was asked questions by reporters. He told them, I am doing well. He gave them a thumbs up. He is now going to be isolating at his beach house. And we did note he wasn't wearing a mask there.