 We came up with the name last year. We launched as Open to Debate. We were formerly known as Intelligence Squared U.S., which many listeners may recognize from NPR. We are also a weekly NPR program. But we rebranded as Open to Debate to really lean into the moment of being open-minded, being open to other ideas, being open to hearing. We leave this portion of Washington Journal now to go to the House of Representatives, where Speaker Mike Johnson is speaking to reporters.