contradictoriness

not defined yet