Occupation is one great source of enjoyment. No man, properly occupied, was ever miserable.