There has been no auction for the 800 MHz licenses.
The auction forgot to include the licenses.
mnli hypothesis: The auction forgot to include the licenses. premise: There has been no auction for the 800 MHz licenses.