Necessity and Sufficiency Analysis Protocol for Structured Analytical Execution | Necessity and Sufficiency Analysis | Mathematics | NEROS