uncontradictory

not defined yet