uncontradictive

not defined yet