ernoon off. That is to say, instead of ceasing work at eleven-thirty p.m. he finished at six-thirty p.m. In the ordi