I believe having time to be bored (not by doing boring work but by doing nothing) is extremely important for mental health.