 So that's how that goes down. But, Brad, thank you for the call, and thank you for the update on the history of it, July of 2020. El Trumpito, and I do remember that. There was a lot of things that Trump tried to do that we couldn't get through Congress because there was such obstruction going on. And it doesn't surprise me at all, honestly. Big shout-out, Brad. Thank you. Folks, I'm going to take a quick pause right here. We're coming right back. We're going to fly through the rest of the calls that we have, and we've got plenty. Don't go anywhere.