fix combinatorial explosion