Formal Deduction Review and Validation Protocol | Formal Deduction | Mathematics | NEROS