stop at depth 20 regardless, or if counter-example found