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