contradictiveness

not defined yet