contradictable

not defined yet