Necessary Condition Analysis