Constructive Disjunction Analysis Protocol Design | Constructive Disjunction Analysis | Mathematics | NEROS