Haller's Concordance: CONTRADICEBAT