Laying off government employees during a phony shutdown is a messy way to reduce the size of government. But we'll take ...