Counterexample Search in Integers Implementation Protocol | Counterexample Search in Integers | Mathematics | NEROS