Most government shutdowns are theater. This one is too, but it might actually result in shrinking the federal work force.