HI HO, HI HO, it’s back to work we go. Most Americans who escaped home and hearth for the long weekend fired up their last barbecues of the season yesterday, the holiday on which we down our final gin and tonics, or Diet Coke-and-hot-dogs, depending on taste and upbringing, and prepare to face the real world. That form of celebration is somewhat at variance with the original intention of the several state legislatures that established the first Monday in September as a national holiday.