Generalization Specification