Diagonal Existence Argument Execution Protocol | Diagonal Existence Argument | Mathematics | NEROS