deriving a deduction Synonym