History of boredom