deriving a justified inference Synonym