inequivalences