necessary_and_sufficient_condition