What is boredom, and what is fun? Pretty much everyone will have a different definition…