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