Boredom Is the Price We Pay for Meaning