Premise: There has been no auction for the 800 MHz licenses.

Hypothesis: There was an auction for the 800 MHz licenses.
Relation: contradiction