contradictedness

not defined yet