Realizer Construction Protocol Design | Realizer Construction | Mathematics | NEROS