Fixed-Point Argument Protocol for Structured Analytical Execution | Fixed-Point Argument | Mathematics | NEROS