changed from search to equivalence