Boredom is a sign of satisfied ignorance, blunted apprehension, crass sympathies, dull understanding, feeble powers of attention, and irreclaimable weakness of character.

The devil to stage: five plays (ed. 2007)