 He is leaving that position. And I feel like that story got a little buried along the lines over the last few weeks with the kickoff to summer, with a lot of hullabaloo happening in Washington, D.C., the buildup to the first presidential debate and now the fallout since then. So we turn our heads back to the situation here, interestingly enough.