finished initial generalization