noncontradictory

not defined yet