combinatorial
not defined yet