The office is proactive in reaching out to people when we know they are leaving office, and it's not necessarily always the other way around. I really can't answer the question of whether, in that case, he would have....
On June 20th, 2023. See this statement in context.