 McKnight's theorem states that if formula_1 is finitely generated then its recognizable subsets are rational subsets.This is not true in general, since the whole formula_1 is always recognizable but it is not rational if formula_1 is infinitely generated.Conversely, a rational subset may not be recognizable, even if formula_1 is finitely generated.