Comparison Argument Protocol for Structured Analytical Execution | Comparison Argument | Mathematics | NEROS