Notice that although there are infinitely many derived categories and infinitely many phase structure rules, nevertheless with any given lexicon all but finitely many categories and rules will be unemployed.