It is not obvious to me that the list of categories is not infinite (unless the final category is "everything else" of course)