combinatorial computational evidence used in automatic assertion