Leisure is the time for doing something useful.