 Thanks, Karine. I mean, to Kellio's point, the president today, when he called into Morning Joe, he said that he had released all of his medical records. Should we take that as an indication that he's going to do so? Well, look, what I can say is that we have shared a comprehensive medical report.