 CBO is the Congressional Budget Office listeners. First, I just want to say I'm tempted to write in Lawrence B. Wilkerson in November. I'm on board with all these policies. Quickly, as we approach Independence Day, we're going to be surrounded by all sorts of grossly militaristic, performative patriotism. What would your ideal Fourth of July be? Your answer could also be absolutely nothing would be a fair answer.