necessary_condition