And other reporting (such as it is these days) say he has no symptoms. So I believe only what comes directly from the President and his team.