contradicendarum