 So it never came up. It never came up until basically January 6th. That's what the whole deal was about. So they said, well, what can the president do? And it gets very vague. I have to tell you, I'm not a fan of this decision. I...