noncontrarieties

not defined yet