Premise: Programs have been counting matters since July 1, 2001.

Hypothesis: Matters have been counted by programs since 2010.
Relation: contradiction