Counterexample Construction Protocol for Validation, Review, and Interpretation | Counterexample Construction | Mathematics | NEROS