Necessary Inference Definition