Constructive Negation Analysis Protocol Design | Constructive Negation Analysis | Mathematics | NEROS