What this represents is the very, very early stages to reopen the government. It's not clear how long this will take. Because Democrats will have to consent to a time agreement. Then Johnson has to bring the House back. Then the House will have to wrestle with it a bit after being gone for 50+ days. But we're in the very early stages of Congress beginning to open up the government.