Inductive Enumeration Protocol Design | Inductive Enumeration | Mathematics | NEROS