Sometimes working less doesn’t mean producing less, or if it’s less it’s not necessarily linear. They said they used to work more “because they had nothing to do”. The extra hours may not be worth as much as a well rested mind.