revise deduction rule for equivalence