uncontradictableness

not defined yet