Countermodel Construction Protocol for Structured Analytical Execution | Countermodel Construction | Mathematics | NEROS