Infinite Descent Contradiction for Existence Protocol Design | Infinite Descent Contradiction for Existence | Mathematics | NEROS