So the Federal government is shut down, except for essential employees, law enforcement, DoD, HHS, parts of DoE, etc. Basically just a few departments. And of those, remember that 80% were going to be on vacation anyway. So really a wash if you think about it.