Natural Deduction Protocol Design | Natural Deduction | Mathematics | NEROS