Diagonal Existence Argument Protocol Design | Diagonal Existence Argument | Mathematics | NEROS