equivalence of two arrows