Symbolic Substitution Protocol Design | Symbolic Substitution | Mathematics | NEROS