reaching a valid deduction Synonym