Boredom and ADHD are comorbid (maybe obviously), but ADHD is a real thing.