The advantage of leisure is mainly that we have the power of choosing our work; not certainly that it confers any privilege of idleness.