The finite simple groups have been classified. Given that there are so many different types of finite simple groups, how are mathematicians sure that there are no more of them to be found?