. . . "Thirdly, space and time for leisure and socializing while on the job, including things like good coffee, good food, and maybe even a ping pong table or bowling alley, increase productivity." .