Presumably bored scientists categorized boredom into four separate categories, because people are bored enough to need four varieties of boredom to keep things interesting. Isn't life great? However, they also recently discovered that there is a fifth type of boredom, so that should entertain you for a bit.