Individual differences in experience after a control task: Boredom proneness, curiosity, and grit correlate with emotion. (16th October 2019)