nonequalization

not defined yet