The federal government is way larger than it should be.