deriving an inference Synonym