 And that policy was not to do anything. And those same people are in charge. And I think if the Democrats are looking for another candidate to replace Biden, the most important question is, does that come with the same team? Because that's the team that's really making these decisions now. And I don't see people asking that question.