add rules for equivalence