example for equivalence check added