uncontradictious

not defined yet