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