contradictiousness

not defined yet