equivalence check added