Title: History and Philosophy of Boredom