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