Define Necessary Inference