Premise: For example, our testimony on IRS' broad-based modernization efforts

Hypothesis: We did not testify on IRS' broad-based modernization efforts.
Relation: contradiction