Inner Model Construction Protocol Design | Inner Model Construction | Mathematics | NEROS