combinatorial computational evidence used in manual assertion