deriving a logical result Synonym