 Mincing words about it. So that's what the 25th Amendment really is all about. It really is. I mean, at the time that they passed this, it was brought up about when Ronald Reagan was shot, but they also remember clearly when John Kennedy was killed. And I think that was more what they were thinking, was that, well, if somebody assassinates the president...