added search order for equivalence