combinatorial generalization