"To escape boredom, man works either beyond what his usual needs require, or else he invents play, that is, work that is designed to quiet no need other than that for working in general."