nonequivalences