Premise: Details on the five DOD programs follow.

Hypothesis: There are no details on the programs.
Relation: contradiction