Праздный человек есть животное, поедающее время.