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