Doesn’t a shrinking workload demand layoffs under sound Republican businesslike principles? I would expect these to occur by reverse seniority, newest hires first, of course. Or maybe good old racist/ethnic discrimination (blacks and Italians first) should apply, just this once…