combinatorial computational and experimental evidence