nonequivalents

not defined yet