Workshop on NECESSARY CONDITION ANALYSIS