The list of UB categories and rules is not infinite. The list of UB programs is, as is the list of all non UB programs.
It is not obvious to me that the list of categories is not infinite (unless the final category is "everything else" of course)
It is not obvious to me that the list of categories is not infinite (unless the final category is "everything else" of course)