Added version for pointwise equality of equivalences