Define Necessary Inference Definition