Some Reflections on Boredom