necessary_inference