NECESSARY AND SUFFICIENT