equivalence of expressions