Leisure is time for doing something useful; this leisure the diligent man will obtain, but the lazy man never
Employ thy time well, if thou meanest to gain leisure.
Leisure is the time for doing something useful.