Constructive Induction Protocol Design | Constructive Induction | Mathematics | NEROS