generalization

not defined yet