noncontrariety

not defined yet