Assertion list for term "find counterexample".

Results from Ascent++: 1
mathematician CapableOffind counterexample 0.31