Suppose our class formula_1 under consideration satisfies the additional property of being "uniformly locally finite", which means that for every formula_69, there is a uniform bound on the size of an formula_69-generated substructure.