Premise: Auctions.
Hypothesis: No auction. 
Label: contradiction