Necessary Inferences