Why it’s important to be bored