 to being resigned to reality. As one person close to the president put it to me, he's a professional. That is, this had been his life for 50 years, and he made the decision that he had to make. So you also report, am I right, Mike Allen, at Axios, that you believe one of his hesitations of bowing out Joe Biden was he didn't think his vice president could win. Did he change his mind?