deriving a sound inference Synonym