basic equivalence working