a short sleep taken during the working day with the intention of improving the quality of work later in the day