Formal Deduction Protocol Design | Formal Deduction | Mathematics | NEROS