coherent equivalence