add Generalization notation