NecessaryConditionAnalysis
