Necessary_and_sufficient_conditions