Is boredom one or many? A functional solution to the problem of heterogeneity. (20th March 2020)