uncontradictable

not defined yet