Counterexample Construction Protocol for Conceptual Framework Development | Counterexample Construction | Mathematics | NEROS