add variables for generalization