Constructive Reduction Protocol Design | Constructive Reduction | Mathematics | NEROS