This is actually more relevant than they realize,
Finite simple groups are building blocks of finite groups, like primes are for whole numbers.
The “Enormous Theorem” states that every finite simple group belongs to one of the known infinite families or is one of 26 sporadic groups, including the Monster.
There are no others.