equivalence checks