Add generalization with z