Arithmetization of Syntax Protocol Design | Arithmetization of Syntax | Mathematics | NEROS