What is boredom? Tips of what to do when you are bored.