Leisure is time for doing something useful; this leisure the diligent man will obtain, but the lazy man never